TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.712s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.676s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.664s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.659s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.876s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.718s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.676s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.707s | passed |
| testInstantiateLabels_updates_allRules() | 2.687s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.657s | passed |
| testParseLabel() | 2.649s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.693s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.685s | passed |
| testrefactorGoal_directChildren_allRules() | 2.684s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.693s | passed |
| testrefactorGoal_none_allRules() | 2.688s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.703s | passed |
| testrefactorGoal_sequent_allRules() | 2.752s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.714s | passed |
Standard output
104003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 104003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.9ns 104003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 104175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104754 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 107858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 107874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 107874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 107874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 110525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.5ns 110525 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 113183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.5ns 113199 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 115868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 144.1ns 115884 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 118554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 484.6ns 118554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 121225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 121225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 123926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463.8ns 123926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 126628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 770ns 126644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 129288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.29ms 129288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 132012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.2ns 132012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 134690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134690 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165ns 134690 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 137441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.8ns 137441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 140135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.1ns 140135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 142814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.1ns 142814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 145493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.8ns 145493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148161 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 148177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.7ns 148177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 150875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.08ms 150890 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 153605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.2ns 153605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s