TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.486s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.434s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.581s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.516s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.151s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.422s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.407s | passed |
| testInstantiateLabels_null() | 0.002s | passed |
| testInstantiateLabels_taclet() | 3.517s | passed |
| testInstantiateLabels_updates_allRules() | 3.533s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.471s | passed |
| testParseLabel() | 3.518s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.578s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.676s | passed |
| testrefactorGoal_directChildren_allRules() | 3.595s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.501s | passed |
| testrefactorGoal_none_allRules() | 3.501s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.455s | passed |
| testrefactorGoal_sequent_allRules() | 3.504s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.485s | passed |
Standard output
133202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 701.7ns 133202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133453 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 134484 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 138345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 138345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138345 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.7ns 138345 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 141878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.7ns 141878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 145380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145380 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.3ns 145380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.66s 149056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149056 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 146.3ns 149056 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 152652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 713.1ns 152652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 156249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156249 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.7ns 156249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159735 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 159751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 628.7ns 159751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 163206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.9ns 163221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 166677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.6ns 166693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 170194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.4ns 170194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s 173697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.6ns 173712 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 177201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 538.1ns 177201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 180780 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180780 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.4ns 180796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 184236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.2ns 184236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 187629 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187629 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.4ns 187645 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.49s 191146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.9ns 191162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 194649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541.5ns 194649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 198073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.9ns 198073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201543 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s