issue-eacsl-166.res.oracle

[eva:alarm] tests/bts/issue-eacsl-166.i:15: Warning: 
  function f: postcondition got status invalid.
[e-acsl] beginning translation.
[e-acsl] translation done in project "e-acsl".
[eva:alarm] tests/bts/issue-eacsl-166.i:15: Warning: 
  function __e_acsl_assert, behavior blocking: precondition got status invalid.