JMLParserExceptionTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| case TypeError.java | testParseAndInterpret(Path, Path)[1] | - | ignored |
| case UnknownVarInJML.java | testParseAndInterpret(Path, Path)[2] | 1.516s | passed |
| case IllegalInv.java | testParseAndInterpret(Path, Path)[3] | - | ignored |
| case Bevhavioural.java | testParseAndInterpret(Path, Path)[4] | - | ignored |
| case UnknownVar.java | testParseAndInterpret(Path, Path)[5] | 1.526s | passed |
Standard output
1296920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/speclang/njml/exceptional/UnknownVarInJML.java 1296920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 61.1ns 1296920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1298440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from /home/runner/work/key/key/key.core/build/resources/test/de/uka/ilkd/key/speclang/njml/exceptional/UnknownVar.java 1298440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.4ns 1298441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config