TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.261s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.105s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.270s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.483s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.435s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.134s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.248s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.118s | passed |
| testInstantiateLabels_updates_allRules() | 3.126s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.150s | passed |
| testParseLabel() | 3.224s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.130s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.118s | passed |
| testrefactorGoal_directChildren_allRules() | 3.352s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.003s | passed |
| testrefactorGoal_none_allRules() | 3.115s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.191s | passed |
| testrefactorGoal_sequent_allRules() | 3.169s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.122s | passed |
Standard output
130301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.2ns 130301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 131462 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 135731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 135747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms 135748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 139214 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.1ns 139230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 142438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 303ns 142453 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145540 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 145556 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 573.4ns 145571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148893 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.33s 148909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.1ns 148909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 152180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 152180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155299 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 155315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 567ns 155315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 158491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.5ns 158506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 161641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 422.7ns 161657 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 164763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 126.6ns 164763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 167889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512ns 167889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 171058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171074 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.1ns 171074 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 174189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 149.4ns 174189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 177298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.6ns 177314 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 180547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.9ns 180547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 183662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.66ms 183677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.99s 186667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.6ns 186683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 189801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.6ns 189801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s