JMLParserExceptionTest
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| case Bevhavioural.java | testParseAndInterpret(Path, Path)[1] | - | ignored |
| case IllegalInv.java | testParseAndInterpret(Path, Path)[2] | - | ignored |
| case KeyTest.java | testParseAndInterpret(Path, Path)[3] | - | ignored |
| case TypeError.java | testParseAndInterpret(Path, Path)[4] | - | ignored |
| case UnknownVar.java | testParseAndInterpret(Path, Path)[5] | 1.636s | passed |
| case UnknownVarInJML.java | testParseAndInterpret(Path, Path)[6] | 1.726s | passed |
Standard output
1356087 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\speclang\njml\exceptional\UnknownVar.java 1356088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.39ms 1356090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 1357708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from D:\a\key\key\key.core\build\resources\test\de\uka\ilkd\key\speclang\njml\exceptional\UnknownVarInJML.java 1357708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.2ns 1357708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config