[kernel] Parsing tests/value/summary.i (no preprocessing)
[eva] Analyzing a complete application starting at minimal
[eva] Computing initial state
[eva] Initial state computed
[eva:initial-state] Values of globals at initialization
  undet ∈ [--..--]
  volatile_d ∈ [--..--]
[eva] Recording results for minimal
[eva] done for function minimal
[eva] ====== VALUES COMPUTED ======
[eva:final-states] Values at end of function minimal:
  
[eva:summary] ====== ANALYSIS SUMMARY ======
  ----------------------------------------------------------------------------
  1 function analyzed (out of 6): 16% coverage.
  In this function, 1 statements reached (out of 1): 100% coverage.
  ----------------------------------------------------------------------------
  No errors or warnings raised during the analysis.
  ----------------------------------------------------------------------------
  0 alarms generated by the analysis.
  ----------------------------------------------------------------------------
  No logical properties have been reached by the analysis.
  ----------------------------------------------------------------------------
[from] Computing for function minimal
[from] Done for function minimal
[from] ====== DEPENDENCIES COMPUTED ======
  These dependencies hold at termination for the executions that terminate:
[from] Function minimal:
  NO EFFECTS
[from] ====== END OF DEPENDENCIES ======
[inout] Out (internal) for function minimal:
    \nothing
[inout] Inputs for function minimal:
    \nothing
