TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.430s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.487s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.481s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.544s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.577s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.470s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.445s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.439s | passed |
| testInstantiateLabels_updates_allRules() | 2.453s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.438s | passed |
| testParseLabel() | 2.448s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.453s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.468s | passed |
| testrefactorGoal_directChildren_allRules() | 2.457s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.462s | passed |
| testrefactorGoal_none_allRules() | 2.459s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.466s | passed |
| testrefactorGoal_sequent_allRules() | 2.467s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.457s | passed |
Standard output
93336 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 93336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.6ns 93337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 93477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 93478 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 93479 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 93480 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 94071 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 96906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 96912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 96912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 447.41ns 96913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 99453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 99456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 99456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.2ns 99457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 101901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 101906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 101907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 486.61ns 101907 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 104366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 104374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 104375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.3ns 104375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 106823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 106830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 106831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.4ns 106831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 109308 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 109312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 109312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.7ns 109313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 111748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 111751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 111751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 143.3ns 111752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 114211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 114218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 114218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.5ns 114219 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s 116655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 116655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 125.3ns 116656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 119114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 119115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 454.11ns 119116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 121570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 121571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.61ns 121571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.46s 124034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.5ns 124035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 126489 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 126490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.51ns 126490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.48s 128976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 128976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.7ns 128977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.44s 131422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 131422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.5ns 131422 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 133882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 150ns 133883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136336 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.45s 136344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 136344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns 136344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.47s 138814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 138814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.3ns 138815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.43s