TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.079s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.077s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.141s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.343s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.443s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.059s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.153s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.098s | passed |
| testInstantiateLabels_updates_allRules() | 3.119s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.148s | passed |
| testParseLabel() | 3.125s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.136s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.142s | passed |
| testrefactorGoal_directChildren_allRules() | 3.090s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.112s | passed |
| testrefactorGoal_none_allRules() | 3.122s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.119s | passed |
| testrefactorGoal_sequent_allRules() | 3.117s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.103s | passed |
Standard output
119154 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.1ns 119170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 119357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 119357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 119357 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 120107 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 123588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 123603 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123603 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 613.3ns 123619 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 126947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126947 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.8ns 126947 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 130072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 702.2ns 130088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 133214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 573.2ns 133214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s 136306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.74ms 136306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 139448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139448 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.6ns 139448 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 142547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.59ms 142562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 145667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 859.8ns 145683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 148816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.8ns 148816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 151919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151919 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.8ns 151919 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 155038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155038 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.5ns 155038 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 158155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.3ns 158155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 161306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161306 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.8ns 161306 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 164371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.3ns 164371 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.15s 167524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns 167524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 170646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 549.2ns 170646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 173760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.9ns 173760 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 176819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176819 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 514.8ns 176819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.08s