TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.718s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.737s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.809s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.725s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.630s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.826s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.724s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.678s | passed |
| testInstantiateLabels_updates_allRules() | 5.031s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.903s | passed |
| testParseLabel() | 4.699s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.814s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.735s | passed |
| testrefactorGoal_directChildren_allRules() | 4.827s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.772s | passed |
| testrefactorGoal_none_allRules() | 4.711s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.864s | passed |
| testrefactorGoal_sequent_allRules() | 4.736s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.838s | passed |
Standard output
180933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 180937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.23ms 180938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181197 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 181198 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 181199 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 181199 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 182203 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 187558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.62s 187563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 187563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.5ns 187564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 192288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 192288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.6ns 192289 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s 196987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 196988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 239.9ns 196989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 201723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 201723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.1ns 201724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.81s 206550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 206553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.82ms 206555 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 211359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 211359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.6ns 211360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 216037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 216037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.5ns 216038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 220901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 220902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.7ns 220903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 225804 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 225804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 155.4ns 225805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 230642 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 230642 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.9ns 230643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 235673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 235673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.5ns 235673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240400 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 240410 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 240410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.5ns 240411 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 245231 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 245232 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 720.7ns 245233 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 249967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 249967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.8ns 249969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 254691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 254691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.5ns 254692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 259402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 259403 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.9ns 259403 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 264167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.76s 264175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 264175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.6ns 264176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 268997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 269001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 269001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.8ns 269002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 273715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.71s