JMLParserExceptionTest

all > de.uka.ilkd.key.speclang.njml > JMLParserExceptionTest
6

tests
0

failures
4

ignored
2.681s

duration
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.306s passed
case UnknownVarInJML.java testParseAndInterpret(Path, Path)[6] 1.371s passed

Standard output

1172602    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 
1172602    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 988.8ns 
1172602    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1173903    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 
1173903    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.4ns 
1173903    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config