TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.334s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.192s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.177s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.189s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.719s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.244s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.267s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.242s | passed |
| testInstantiateLabels_updates_allRules() | 4.176s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.202s | passed |
| testParseLabel() | 4.199s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.662s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.233s | passed |
| testrefactorGoal_directChildren_allRules() | 4.172s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.330s | passed |
| testrefactorGoal_none_allRules() | 4.392s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.189s | passed |
| testrefactorGoal_sequent_allRules() | 4.504s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.343s | passed |
Standard output
158455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.3ns 158455 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158687 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 158703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 158703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 158703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 159594 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 164161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s 164161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.7ns 164161 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 168365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.6ns 168365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 172564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 470.6ns 172564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 176782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.4ns 176782 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 180971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 560.8ns 180971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.16s 185165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273ns 185165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 189376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 774.7ns 189392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 193566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.12ms 193566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 197769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns 197769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 202113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.9ns 202113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 206289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206289 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205ns 206305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 211075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 309ns 211075 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 215472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.6ns 215472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 219749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.3ms 219749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 223923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.6ns 223938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 228331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 517.4ns 228331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 232648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232664 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.4ns 232664 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236892 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 236955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 236955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 804.6ns 236955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s