TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.726s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.780s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.793s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.781s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.247s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.762s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.765s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.810s | passed |
| testInstantiateLabels_updates_allRules() | 2.807s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.779s | passed |
| testParseLabel() | 2.772s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.761s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.780s | passed |
| testrefactorGoal_directChildren_allRules() | 2.771s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.773s | passed |
| testrefactorGoal_none_allRules() | 2.738s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.788s | passed |
| testrefactorGoal_sequent_allRules() | 2.798s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.773s | passed |
Standard output
106553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 106553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319.9ns 106553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 106736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 107397 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 110774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 110790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 627ns 110790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 113564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.6ns 113564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 116345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.1ns 116361 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 119133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119133 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.1ns 119133 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 121898 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.26ms 121913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 124702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 904ns 124702 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.8s 127506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 619.7ns 127506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130290 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 130305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 987.4ns 130305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 133074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 564ns 133090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 135867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.1ns 135867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138657 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.79s 138668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 559ns 138668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.78s 141462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.9ns 141462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 144234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 985.9ns 144234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 147019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.8ns 147019 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 149771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.5ns 149787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 152522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152522 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 340ns 152522 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 155284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.3ns 155284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.76s 158038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.1ns 158038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s