TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.872s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.693s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.846s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.360s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.920s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.709s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.742s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.753s | passed |
| testInstantiateLabels_updates_allRules() | 2.666s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.768s | passed |
| testParseLabel() | 2.878s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.784s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.952s | passed |
| testrefactorGoal_directChildren_allRules() | 2.886s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.895s | passed |
| testrefactorGoal_none_allRules() | 2.872s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.043s | passed |
| testrefactorGoal_sequent_allRules() | 2.711s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.733s | passed |
Standard output
103345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 103345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.6ns 103345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 103533 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103533 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103533 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103533 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104189 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 107254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 107270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 107270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.4ns 107270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 110615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110615 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.5ns 110615 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 113491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 568.7ns 113491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 117448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 117448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.9ns 117463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.87s 120512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.3ns 120512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 123186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242ns 123186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 126955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543ns 126955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 129988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211ns 129988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 132755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 515ns 132755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 135490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.4ns 135506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 138165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.5ns 138165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 140869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.1ns 140869 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 144653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.7ns 144653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 147389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.7ns 147389 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150078 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 150094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.3ns 150094 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s 152954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.3ns 152970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 156269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.6ns 156269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 160586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.1ns 160586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.85s