TestTermLabelManager
|
100%
successful |
Tests
Test | Duration | Result |
---|---|---|
testGetSupportedTermLabelNames() | 2.646s | passed |
testGetTermLabelManager() | 0.003s | passed |
testInstantiateLabels_applicationTermPolicies() | 2.652s | passed |
testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.680s | passed |
testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.656s | passed |
testInstantiateLabels_directChildPolicies_allRules() | 3.969s | passed |
testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.654s | passed |
testInstantiateLabels_modalityTermPolicies() | 2.690s | passed |
testInstantiateLabels_null() | 0s | passed |
testInstantiateLabels_taclet() | 2.649s | passed |
testInstantiateLabels_updates_allRules() | 2.654s | passed |
testInstantiateLabels_updates_ruleSpecific() | 2.663s | passed |
testParseLabel() | 2.659s | passed |
testrefactorGoal_childrenAndGrandchildren_allRules() | 2.717s | passed |
testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.711s | passed |
testrefactorGoal_directChildren_allRules() | 2.697s | passed |
testrefactorGoal_directChildren_ruleSpecific() | 2.665s | passed |
testrefactorGoal_none_allRules() | 2.665s | passed |
testrefactorGoal_none_ruleSpecific() | 2.669s | passed |
testrefactorGoal_sequent_allRules() | 2.660s | passed |
testrefactorGoal_sequent_ruleSpecific() | 2.676s | passed |
Standard output
104433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 104433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.4ns 104449 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 104636 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104636 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104636 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104636 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 105231 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 108390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.95s 108405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.4ns 108405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 111047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 111063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 111063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.7ns 111063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 113720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.3ns 113735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 116441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.7ns 116441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 119130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.1ns 119130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 121803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 528.1ns 121818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 124460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124460 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 481ns 124460 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 127135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 764.8ns 127135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 129792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 503.2ns 129808 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132466 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 132481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132481 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.9ns 132481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 135123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.5ns 135123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 137781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.1ns 137797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 140517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns 140517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 143158 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143158 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.9ns 143174 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 145848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197ns 145848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 148522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.7ns 148522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 151179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.7ns 151195 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 153837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.6ns 153837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s