TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.510s | passed |
| testGetTermLabelManager() | 0.008s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.417s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.507s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.451s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.360s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.470s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.507s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.565s | passed |
| testInstantiateLabels_updates_allRules() | 3.473s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.464s | passed |
| testParseLabel() | 3.493s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.485s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.531s | passed |
| testrefactorGoal_directChildren_allRules() | 3.571s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.459s | passed |
| testrefactorGoal_none_allRules() | 3.473s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.495s | passed |
| testrefactorGoal_sequent_allRules() | 3.565s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.439s | passed |
Standard output
135202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.2ns 135202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135432 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135433 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135434 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135434 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 136369 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 140532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 140548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.5ns 140548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 143984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234ns 143984 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 147477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.2ns 147477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 151008 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151008 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.6ns 151024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 154580 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154580 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.8ns 154596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158087 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 158102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.1ns 158102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 161652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 530.6ns 161652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 165148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.48ms 165148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 168613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.63ms 168629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 172053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186ns 172053 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 175543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546ns 175543 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 179092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.9ns 179092 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 182592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.7ns 182592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 186002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186002 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.7ns 186002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 189510 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.4ns 189525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 192983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 583.4ns 192983 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 196444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.6ns 196444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 199914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 741.8ns 199914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s