JMLParserExceptionTest

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

tests
0

failures
4

ignored
2.750s

duration
100%

successful

Tests

Test Method name Duration Result
case TypeError.java testParseAndInterpret(Path, Path)[1] - ignored
case UnknownVarInJML.java testParseAndInterpret(Path, Path)[2] 1.414s 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.334s passed
case KeyTest.java testParseAndInterpret(Path, Path)[6] - ignored

Standard output

1123671    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 
1123671    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 446.23ns 
1123672    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config 
1125079    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 
1125079    DEBUG Test worker     d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.81ns 
1125079    INFO  Test worker     d.u.i.k.p.i.AbstractProblemLoader Creating init config