TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.014s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.949s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.954s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.042s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.334s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.039s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.956s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.036s | passed |
| testInstantiateLabels_updates_allRules() | 2.952s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.052s | passed |
| testParseLabel() | 2.974s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.959s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.008s | passed |
| testrefactorGoal_directChildren_allRules() | 3.060s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.932s | passed |
| testrefactorGoal_none_allRules() | 2.925s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.072s | passed |
| testrefactorGoal_sequent_allRules() | 2.966s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.928s | passed |
Standard output
114016 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 114016 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.8ns 114017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 114175 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114176 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114177 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 114959 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 118346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s 118351 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 118351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.6ns 118352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 121392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 121392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.2ns 121393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 124366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 124366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.8ns 124367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 127374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.1ns 127375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 130434 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 130434 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 142.5ns 130435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 133391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 133391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.1ns 133392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 136427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 136427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 121.7ns 136427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 139499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 139499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.1ns 139500 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 142551 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 142551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 120.8ns 142552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 145479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 145479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.8ns 145480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 148431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 148431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 84ns 148432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 151397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 151397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.9ns 151398 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 154357 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 154357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.9ns 154358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 157307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 157307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 100.6ns 157307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.95s 160262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 160262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.7ns 160263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 163188 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 163188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89ns 163189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.92s 166120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103.7ns 166121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.04s 169159 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 169159 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 117.5ns 169160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s