TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.313s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.336s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.215s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.237s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.702s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.366s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.315s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.184s | passed |
| testInstantiateLabels_updates_allRules() | 3.307s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.271s | passed |
| testParseLabel() | 3.411s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.343s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.347s | passed |
| testrefactorGoal_directChildren_allRules() | 3.255s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.295s | passed |
| testrefactorGoal_none_allRules() | 3.275s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.219s | passed |
| testrefactorGoal_sequent_allRules() | 3.225s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.272s | passed |
Standard output
120749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 120749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 582.2ns 120750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120933 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120934 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120935 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120936 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121757 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 125447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.7s 125452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 125452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 111.7ns 125452 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 128688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 128688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 94ns 128688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132094 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 132099 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 132099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.8ns 132101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 135451 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 135452 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472ns 135453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 138703 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 138704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 157.4ns 138705 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 141918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 141919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430ns 141920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 145102 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 145102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 95ns 145103 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 148321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 148321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 138.6ns 148322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 151591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 151592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 81.6ns 151592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 154863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 154864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 97.4ns 154865 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 158171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 158171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 105.6ns 158172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161387 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 161395 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 161396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.5ns 161397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164732 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 164740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 164740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.5ns 164741 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 168077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 168077 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 80ns 168078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 171392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 171392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.8ns 171393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 174669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 174669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 114.4ns 174670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 177964 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 177965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 710.5ns 177966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 181331 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 181332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 467.2ns 181333 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s