TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.502s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.540s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.517s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.697s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.609s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.491s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.502s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.541s | passed |
| testInstantiateLabels_updates_allRules() | 2.500s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.520s | passed |
| testParseLabel() | 2.645s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.524s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.529s | passed |
| testrefactorGoal_directChildren_allRules() | 2.519s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.515s | passed |
| testrefactorGoal_none_allRules() | 2.518s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.522s | passed |
| testrefactorGoal_sequent_allRules() | 2.481s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.527s | passed |
Standard output
101098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 101098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.6ns 101098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 101098 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/standardRules.key took 0 ms to parse. 101098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms. 101098 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 101098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms. 101098 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 101098 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 352 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 15 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101113 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 101113 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101129 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/propRule.key took 0 ms to parse. 101129 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101129 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/firstOrderRules.key took 0 ms to parse. 101129 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101129 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ifThenElseRules.key took 0 ms to parse. 101129 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101145 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/formulaNormalisationRules.key took 0 ms to parse. 101145 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 367 ms. 101160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/updateRules.key took 15 ms to parse. 101160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 382 ms. 101160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerRulesCommon.key took 0 ms to parse. 101160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 382 ms. 101160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRules.key took 0 ms to parse. 101160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 382 ms. 101160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesUncheckedSemantics.key took 0 ms to parse. 101160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 382 ms. 101160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesCheckedSemantics.key took 0 ms to parse. 101160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 382 ms. 101191 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intRulesJavaSemantics.key took 0 ms to parse. 101191 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 382 ms. 101207 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerSimplificationRules.key took 16 ms to parse. 101207 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 398 ms. 101238 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101238 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101238 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101238 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101254 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intDiv.key took 0 ms to parse. 101254 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 398 ms. 101270 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bsum.key took 16 ms to parse. 101270 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 414 ms. 101285 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bprod.key took 15 ms to parse. 101285 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101285 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryAxioms.key took 0 ms to parse. 101285 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101285 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/binaryLemmas.key took 0 ms to parse. 101285 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101285 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/intPow.key took 0 ms to parse. 101285 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101301 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesCommon.key took 0 ms to parse. 101301 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101301 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRules.key took 0 ms to parse. 101316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101316 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesVerifyNormal.key took 0 ms to parse. 101316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101316 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatRulesAssumeStrictfp.key took 0 ms to parse. 101316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101316 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/genericRules.key took 0 ms to parse. 101316 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101332 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/booleanRules.key took 0 ms to parse. 101332 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101332 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/epsilon.key took 0 ms to parse. 101332 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101332 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSetsRules.key took 0 ms to parse. 101332 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101348 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heapRules.key took 0 ms to parse. 101348 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101363 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permissionRules.key took 0 ms to parse. 101363 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101379 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reachRules.key took 0 ms to parse. 101379 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101379 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqCoreRules.key took 0 ms to parse. 101379 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101379 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqRules.key took 0 ms to parse. 101379 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101395 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm.key took 0 ms to parse. 101395 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101418 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqPerm2.key took 0 ms to parse. 101418 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 429 ms. 101426 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/javaRules.key took 8 ms to parse. 101426 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 437 ms. 101426 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/assertions.key took 0 ms to parse. 101442 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 437 ms. 101754 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopRules.key took 0 ms to parse. 101754 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 437 ms. 101770 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/activeUse.key took 16 ms to parse. 101770 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 453 ms. 101802 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/instanceAllocation.key took 0 ms to parse. 101802 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 453 ms. 101802 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/java5.key took 0 ms to parse. 101802 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 453 ms. 101817 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerAssignment2UpdateRules.key took 0 ms to parse. 101817 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 453 ms. 101833 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatAssignment2UpdateRules.key took 0 ms to parse. 101833 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 453 ms. 101848 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/bigint.key took 0 ms to parse. 101848 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 453 ms. 101864 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 101864 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/adtProgramDecompositionRules.key took 0 ms to parse. 101864 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 453 ms. 101880 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/precRules.key took 16 ms to parse. 101880 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101880 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListRules.key took 0 ms to parse. 101880 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101880 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExTheory.key took 0 ms to parse. 101880 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101880 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExHeader.key took 0 ms to parse. 101880 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101880 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExAxioms.key took 0 ms to parse. 101880 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101880 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/regExLemmaProven.key took 0 ms to parse. 101880 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101895 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seqEq.key took 0 ms to parse. 101895 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101895 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/infFlow.key took 0 ms to parse. 101895 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101895 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/mapSize.key took 0 ms to parse. 101895 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101895 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wd.key took 0 ms to parse. 101895 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101895 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeader.key took 0 ms to parse. 101895 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101895 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdGeneralRules.key took 0 ms to parse. 101895 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101895 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdNumericalRules.key took 0 ms to parse. 101895 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdLocSetRules.key took 0 ms to parse. 101927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdHeapRules.key took 0 ms to parse. 101927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdReachRules.key took 0 ms to parse. 101927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdSeqRules.key took 0 ms to parse. 101927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdStringRules.key took 0 ms to parse. 101927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101927 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdRegExRules.key took 0 ms to parse. 101927 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101942 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wdFormulaRules.key took 0 ms to parse. 101942 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101958 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopInvariantRules.key took 0 ms to parse. 101958 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101958 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/forLoopRules.key took 0 ms to parse. 101958 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 101958 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/execRules.key took 0 ms to parse. 101958 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 469 ms. 102036 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/loopScopeRules.key took 15 ms to parse. 102036 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms. 103005 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 103005 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms. 104685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 104700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 104700 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.5ns 104700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 105553 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 105553 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms. 107395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 107395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 107395 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210ns 107395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 108377 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 108377 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 484 ms. 110042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 110045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 141.7ns 110045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110889 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 110889 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 500 ms. 112547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 112562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 112562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.8ns 112578 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113407 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 113407 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 516 ms. 115093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 115093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115093 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 502ns 115093 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115951 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 115951 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 516 ms. 117607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 117607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 117607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.1ns 117622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118461 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 16 ms to parse. 118461 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 120153 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 120168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 770.8ns 120168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120997 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 120997 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 122679 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 122695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.7ns 122695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123548 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 123548 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 125198 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 125213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 125213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 460.1ns 125213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126049 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 126049 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 127727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 127727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.4ns 127743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128565 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 128565 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 130226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 130226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 706.2ns 130226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131071 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 131071 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 132697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 132712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162ns 132712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133557 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 133557 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 135232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 135232 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.6ns 135248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136066 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 136066 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 137771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.53s 137787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165ns 137787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138631 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 138631 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 140279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 140279 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 437.6ns 140295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141140 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 141140 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 142795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 142810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 403.3ns 142810 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143623 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 143623 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 145299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.49s 145315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 969.3ns 145315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146160 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 146160 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 147792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 147808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.9ns 147808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148647 WARN Test worker d.u.i.k.n.ParsingFacade file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 148647 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 532 ms. 150309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s