TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.935s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.016s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.984s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.036s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.869s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.935s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.920s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.980s | passed |
| testInstantiateLabels_updates_allRules() | 4.907s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.913s | passed |
| testParseLabel() | 5.052s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.990s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.963s | passed |
| testrefactorGoal_directChildren_allRules() | 4.937s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.952s | passed |
| testrefactorGoal_none_allRules() | 4.987s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.927s | passed |
| testrefactorGoal_sequent_allRules() | 4.924s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.917s | passed |
Standard output
186306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 186311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.62ms 186312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186643 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 186644 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 186645 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 186646 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 187764 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 193170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.86s 193176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 193176 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.4ns 193177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 198211 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 198211 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.9ns 198212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 203263 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 203264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.1ns 203264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 208227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 208228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 584ns 208229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 213164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 213164 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.4ns 213165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 218148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 218148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.6ns 218149 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223124 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 223129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 223129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509.7ns 223130 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 228055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 228056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.1ns 228056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 232968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 232968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 108.7ns 232969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 237885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 237885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 132.2ns 237886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242788 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 242792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 242792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 127.5ns 242793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 247716 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 247716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 135.5ns 247717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 252708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 252708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.2ns 252708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 257723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 257723 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.3ns 257724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 262643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 262643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns 262644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 267630 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 267630 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 136.1ns 267631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 272583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 272583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns 272584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s 277518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 277518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140ns 277519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 282450 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.93s