TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.658s | passed |
| testGetTermLabelManager() | 0.007s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.618s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.704s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.785s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.307s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.721s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.623s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.768s | passed |
| testInstantiateLabels_updates_allRules() | 3.596s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.736s | passed |
| testParseLabel() | 3.641s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.708s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.720s | passed |
| testrefactorGoal_directChildren_allRules() | 3.782s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.705s | passed |
| testrefactorGoal_none_allRules() | 3.674s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.626s | passed |
| testrefactorGoal_sequent_allRules() | 3.627s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.641s | passed |
Standard output
156224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.6ns 156224 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156490 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156490 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156490 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156490 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 157414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 161510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 161525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 404.5ns 161525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 165310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165310 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.2ns 165310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 168952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 774.4ns 168952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 172673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.8ns 172673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 176459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176459 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 875ns 176459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 180164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 703.4ns 180164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 183933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.2ns 183933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 187560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.48ms 187560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 191297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 751.7ns 191297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 194954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.36ms 194954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 198535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.2ns 198535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 202162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 372.2ns 202162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 205871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 848.6ns 205886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.61s 209498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.12ms 209513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.62s 213125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.8ns 213140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 216799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.4ns 216799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220489 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 220505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.6ns 220505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 224226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 599.8ns 224226 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227884 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s