[kernel] Parsing tests/value/summary.i (no preprocessing)
[eva] Analyzing a complete application starting at bottom
[eva] Computing initial state
[eva] Initial state computed
[eva:initial-state] Values of globals at initialization
  undet ∈ [--..--]
  volatile_d ∈ [--..--]
[eva:alarm] tests/value/summary.i:15: Warning: division by zero. assert 0 ≢ 0;
[eva] Recording results for bottom
[eva] done for function bottom
[eva] tests/value/summary.i:15: 
  assertion 'Eva,division_by_zero' got final status invalid.
[eva] ====== VALUES COMPUTED ======
[eva:final-states] Values at end of function bottom:
  NON TERMINATING FUNCTION
[eva:summary] ====== ANALYSIS SUMMARY ======
  ----------------------------------------------------------------------------
  1 function analyzed (out of 6): 16% coverage.
  In this function, 1 statements reached (out of 2): 50% coverage.
  ----------------------------------------------------------------------------
  No errors or warnings raised during the analysis.
  ----------------------------------------------------------------------------
  1 alarm generated by the analysis:
       1 division by zero
  1 of them is a sure alarm (invalid status).
  ----------------------------------------------------------------------------
  No logical properties have been reached by the analysis.
  ----------------------------------------------------------------------------
[from] Computing for function bottom
[from] Non-terminating function bottom (no dependencies)
[from] Done for function bottom
[from] ====== DEPENDENCIES COMPUTED ======
  These dependencies hold at termination for the executions that terminate:
[from] Function bottom:
  NON TERMINATING - NO EFFECTS
[from] ====== END OF DEPENDENCIES ======
[inout] Out (internal) for function bottom:
    x
[inout] Inputs for function bottom:
    \nothing
