TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.637s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.679s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.661s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.642s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.828s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.647s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.677s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.684s | passed |
| testInstantiateLabels_updates_allRules() | 2.655s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.651s | passed |
| testParseLabel() | 2.642s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.670s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.675s | passed |
| testrefactorGoal_directChildren_allRules() | 2.686s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.668s | passed |
| testrefactorGoal_none_allRules() | 2.646s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.664s | passed |
| testrefactorGoal_sequent_allRules() | 2.692s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.661s | passed |
Standard output
102857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 102857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.7ns 102857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 103014 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103014 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103014 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103014 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103608 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 106657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 106672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 106672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 549.4ns 106672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 109299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 109315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 109315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.9ns 109315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 111957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 111957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 111957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299ns 111957 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 114615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 114630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 114630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.1ns 114630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 117335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 117335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 531.4ns 117335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 119993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 519ns 119993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 122666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.3ns 122666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 125340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 125340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.95ms 125340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 127982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.5ns 127982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 130640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192ns 130640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 133314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 133314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 136003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.7ns 136003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 138662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.5ns 138662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141335 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 141350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.7ns 141350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 144024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.5ns 144024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 146666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.9ns 146666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 149340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.2ns 149340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 151982 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151982 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.4ns 151997 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s