TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.181s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.202s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.229s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.176s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.586s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.166s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.231s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.258s | passed |
| testInstantiateLabels_updates_allRules() | 3.179s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.194s | passed |
| testParseLabel() | 3.161s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.182s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.234s | passed |
| testrefactorGoal_directChildren_allRules() | 3.299s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.194s | passed |
| testrefactorGoal_none_allRules() | 3.200s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.215s | passed |
| testrefactorGoal_sequent_allRules() | 3.144s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.152s | passed |
Standard output
123574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243ns 123574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123746 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124475 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 128130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 128145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128145 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 988.7ns 128145 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 131324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131324 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.9ns 131324 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 134502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.9ns 134502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 137720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 137736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 141020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 597.8ns 141035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 144250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.4ns 144250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 147509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 609.1ns 147509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150725 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 150740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150740 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 953.8ns 150740 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 153920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.3ns 153920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 157074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.5ns 157090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 160253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 280.7ns 160253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 163412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 734.5ns 163412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 166611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 831.6ns 166611 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 169806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.7ns 169806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 173022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.1ns 173022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176222 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 176237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.6ns 176237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 179419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.7ns 179419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 182585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.4ns 182585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s