TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.226s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.276s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.268s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.244s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.572s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.280s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.178s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.279s | passed |
| testInstantiateLabels_updates_allRules() | 3.222s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.239s | passed |
| testParseLabel() | 3.218s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.213s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.191s | passed |
| testrefactorGoal_directChildren_allRules() | 3.227s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.318s | passed |
| testrefactorGoal_none_allRules() | 3.291s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.239s | passed |
| testrefactorGoal_sequent_allRules() | 3.228s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.341s | passed |
Standard output
123885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.5ns 123885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124060 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124776 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 128446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 128462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.1ns 128462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131675 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 131691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131691 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.4ns 131691 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 134909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.4ns 134923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 138100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138100 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.3ns 138100 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 141328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.3ns 141344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144582 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 144597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 681.1ns 144597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 147877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147877 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 479.1ns 147877 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 151116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 873.3ns 151116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 154372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 8.15ms 154372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 157698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.6ns 157698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 160935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160935 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.8ns 160935 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164144 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 164148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.2ns 164148 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 167361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188ns 167376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 170641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.3ns 170641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 173820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.4ns 173820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177096 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 177111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 571.5ns 177111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 180431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212ns 180447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 183712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 641.3ns 183712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s