TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.971s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.089s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.066s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.223s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.324s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.003s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.908s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 5.002s | passed |
| testInstantiateLabels_updates_allRules() | 4.942s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.080s | passed |
| testParseLabel() | 5.084s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.080s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.302s | passed |
| testrefactorGoal_directChildren_allRules() | 5.048s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.002s | passed |
| testrefactorGoal_none_allRules() | 4.972s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.142s | passed |
| testrefactorGoal_sequent_allRules() | 5.098s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.190s | passed |
Standard output
194254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194254 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334ns 194254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194614 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 194629 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 194629 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 194629 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 195755 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 201570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.3s 201586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 805ns 201586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 206793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.4ns 206793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211862 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 211878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.7ns 211878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.27s 217180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 217180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 731.4ns 217180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222214 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 222230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 649.5ns 222246 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 227297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227297 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 305.4ns 227297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 232300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.2ns 232315 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 237443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 237443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.33ms 237443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 242524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 242524 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.8ns 242524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 247714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 247714 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236.7ns 247714 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 252671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 252673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.1ns 252674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 257754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 257754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.6ns 257754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262834 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 262850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 262850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.8ns 262850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 267930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 267930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308ns 267930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 272839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 272839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.2ns 272839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277796 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 277811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 277811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 319ns 277811 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 282800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 282815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 282815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 633.4ns 282815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 287818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 287818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 287818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 268.6ns 287834 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 292789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s