[kernel] Parsing tests/value/summary.i (no preprocessing)
[eva] Analyzing a complete application starting at minimalist
[eva] Computing initial state
[eva] Initial state computed
[eva:initial-state] Values of globals at initialization
  undet ∈ [--..--]
  volatile_d ∈ [--..--]
[kernel:annot:missing-spec] tests/value/summary.i:19: Warning: 
  Neither code nor specification for function minimalist, generating default assigns from the prototype
[eva] using specification for function minimalist
[eva] done for function minimalist
[eva] ====== VALUES COMPUTED ======
[eva:summary] ====== ANALYSIS SUMMARY ======
  ----------------------------------------------------------------------------
  0 functions analyzed (out of 6): 0% coverage.
  ----------------------------------------------------------------------------
  Some errors and warnings have been raised during the analysis:
    by the Eva analyzer:      0 errors    0 warnings
    by the Frama-C kernel:    0 errors    1 warning
  ----------------------------------------------------------------------------
  0 alarms generated by the analysis.
  ----------------------------------------------------------------------------
  No logical properties have been reached by the analysis.
  ----------------------------------------------------------------------------
[from] ====== DEPENDENCIES COMPUTED ======
  These dependencies hold at termination for the executions that terminate:
[from] Function minimalist:
[from] Computing for function minimalist
[from] Done for function minimalist
  NO EFFECTS
[from] ====== END OF DEPENDENCIES ======
