TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.514s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.622s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.548s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.641s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.864s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.576s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.549s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.658s | passed |
| testInstantiateLabels_updates_allRules() | 2.586s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.633s | passed |
| testParseLabel() | 2.547s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.588s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.556s | passed |
| testrefactorGoal_directChildren_allRules() | 2.791s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.697s | passed |
| testrefactorGoal_none_allRules() | 2.603s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.520s | passed |
| testrefactorGoal_sequent_allRules() | 2.614s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.506s | passed |
Standard output
100503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 100513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 9.19ms 100514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 100703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 100703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 100703 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 100704 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 101414 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 104364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 104367 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 104368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 89.8ns 104368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 107005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 107010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 107011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.7ns 107012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 109551 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 109557 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 109557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.5ns 109558 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 112103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 112113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 112114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 402.5ns 112115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 114896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 114903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 114903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 91.6ns 114904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 117452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 117453 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 99.8ns 117453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 120111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 120112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.4ns 120113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s 122632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 122632 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 88ns 122632 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 125265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 125265 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 86.1ns 125265 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.5s 127771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 127771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.5ns 127772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130354 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 130358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 130358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.3ns 130358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 132972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 132972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 71.9ns 132973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 135562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 135563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 351ns 135567 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 138185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 138185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 103ns 138186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.54s 140734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 140734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.3ns 140735 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 143338 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 143338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 78.2ns 143339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 146034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 146034 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 83.5ns 146035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 148611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 148611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.5ns 148612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.51s