TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.115s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.086s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.097s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.151s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.628s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.083s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.087s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.056s | passed |
| testInstantiateLabels_updates_allRules() | 4.089s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.050s | passed |
| testParseLabel() | 4.219s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.120s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.187s | passed |
| testrefactorGoal_directChildren_allRules() | 4.134s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.091s | passed |
| testrefactorGoal_none_allRules() | 4.097s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.100s | passed |
| testrefactorGoal_sequent_allRules() | 4.079s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.071s | passed |
Standard output
157262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.1ns 157262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 157477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 157477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 157477 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 158274 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 162866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 162882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 162882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 167049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167049 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.3ns 167049 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171253 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 171269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.5ns 171269 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 175440 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175440 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169ns 175456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 179575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.9ms 179591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 183673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.3ns 183673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 187730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187730 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 481.7ns 187730 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 191830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 433.4ns 191830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 195880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.6ns 195880 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 199968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199968 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.1ns 199968 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 204041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.5ns 204041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 208120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 208120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 162.7ns 208135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 212255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 502.4ns 212255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 216332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216332 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.6ns 216332 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 220419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.3ns 220419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 224532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224532 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 510.4ns 224532 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 228624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184ns 228624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 232708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.7ns 232723 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s