ESC/Java version ESCJava-2.0a8
    [0.231 s 12403496 bytes]

demo.Testee ...
  Prover started:0.05 s 14588600 bytes
    [1.562 s 14020040 bytes]

demo.Testee: inverse(int) ...
------------------------------------------------------------------------
demo\Testee.java:19: Warning: Possible division by zero (ZeroDiv)
                        return 1/0;  //Represents a real bug in this e ...
                                ^
Execution trace information:
    Executed then branch in "demo\Testee.java", line 18, col 15.

------------------------------------------------------------------------
    [0.411 s 14498160 bytes]  failed

demo.Testee: Testee() ...
    [0.01 s 14600912 bytes]  passed
  [1.983 s 14600912 bytes total]
1 warning
runtime = 3 seconds.
