TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.661s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.664s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.673s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.649s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.865s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.646s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.678s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.675s | passed |
| testInstantiateLabels_updates_allRules() | 2.659s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.674s | passed |
| testParseLabel() | 2.659s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.672s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.687s | passed |
| testrefactorGoal_directChildren_allRules() | 2.640s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.671s | passed |
| testrefactorGoal_none_allRules() | 2.686s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.680s | passed |
| testrefactorGoal_sequent_allRules() | 2.662s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.683s | passed |
Standard output
106033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 106033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.9ns 106033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 106173 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106173 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106173 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106173 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106767 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 109866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 109881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 109881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 109881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 112523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 112523 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 112523 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.5ns 112539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 115190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.4ns 115193 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 117854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 117870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 117870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 158.5ns 117870 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 120518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120518 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.9ns 120518 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 123194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.7ns 123194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 125867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 125867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 125867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 474ns 125867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 128549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 897.1ns 128549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 131237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131237 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 453.8ns 131237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133901 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 133921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns 133923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 136565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.5ns 136565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139218 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 139218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.4ns 139234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 141900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141900 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.1ns 141900 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 144573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144573 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.1ns 144573 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147233 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 147248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.8ns 147248 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 149937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.5ns 149937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 152607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.2ns 152607 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.64s 155253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 432.2ns 155253 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s