TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.309s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.403s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.368s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.384s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.994s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.411s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.335s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.414s | passed |
| testInstantiateLabels_updates_allRules() | 3.388s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.436s | passed |
| testParseLabel() | 3.412s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.395s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.473s | passed |
| testrefactorGoal_directChildren_allRules() | 3.393s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.429s | passed |
| testrefactorGoal_none_allRules() | 3.332s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.433s | passed |
| testrefactorGoal_sequent_allRules() | 3.402s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.396s | passed |
Standard output
135149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.1ns 135149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135368 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135368 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135368 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135368 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 136181 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 140142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 140142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 608.2ns 140157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 143527 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.9ns 143542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 146939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.8ns 146955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 150412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.6ns 150412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153791 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 153806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 597.3ns 153806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 157176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.34ms 157190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 160607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.9ns 160607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 164024 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164024 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.08ms 164040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 167461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.55ms 167461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170843 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 170859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214ns 170859 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 174249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.88ms 174249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 177667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.25ms 177667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 181048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.1ns 181064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184458 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 184474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184474 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256ns 184474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 187794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.7ns 187794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 191126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191126 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.6ns 191126 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194555 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 194555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602ns 194571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 197967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.8ns 197967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s