TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.155s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.184s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.192s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.437s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.575s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.276s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.227s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.218s | passed |
| testInstantiateLabels_updates_allRules() | 3.241s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.169s | passed |
| testParseLabel() | 3.351s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.192s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.198s | passed |
| testrefactorGoal_directChildren_allRules() | 3.255s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.310s | passed |
| testrefactorGoal_none_allRules() | 3.313s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.171s | passed |
| testrefactorGoal_sequent_allRules() | 3.599s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.192s | passed |
Standard output
120675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.9ns 120675 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120877 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 121533 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 125226 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 125242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 125242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 535.9ns 125242 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 128680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128680 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.1ns 128680 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 132031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.6ns 132031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 135229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 615.6ns 135229 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 138501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138501 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.3ns 138501 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 141678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141678 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.7ns 141678 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 144898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.6ns 144898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148053 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 148069 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148069 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.04ms 148084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 151238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.6ns 151238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 154430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173ns 154430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 157671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 562.5ns 157686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 161286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.93ms 161286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164463 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 164479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164479 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.9ns 164479 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 167651 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167651 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.2ns 167667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 170878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns 170894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 174191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 549.9ns 174191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 177506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.9ns 177506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 180797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180797 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.9ns 180797 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s