TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.390s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.470s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.572s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.510s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.403s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.420s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.429s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.533s | passed |
| testInstantiateLabels_updates_allRules() | 3.427s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.411s | passed |
| testParseLabel() | 3.413s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.359s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.478s | passed |
| testrefactorGoal_directChildren_allRules() | 3.567s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.481s | passed |
| testrefactorGoal_none_allRules() | 3.381s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.479s | passed |
| testrefactorGoal_sequent_allRules() | 3.418s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.422s | passed |
Standard output
132626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 845.4ns 132626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132882 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 132882 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 132882 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 132891 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133720 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 138030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 138030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.9ns 138045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 141541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 742.6ns 141557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 144955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220ns 144955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 148433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216ns 148433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 152017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 633.5ns 152017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 155589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 586ns 155589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 159108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 484.8ns 159108 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 162604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.93ms 162604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 165999 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165999 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.4ms 166015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 169421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 169421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 172848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 172848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 176266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.5ns 176266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 179626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179626 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.7ns 179626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 183101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.8ns 183117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 186547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 652.9ns 186547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 189931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.95ms 189948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 193429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.4ns 193429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 196851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 629.5ns 196851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s