TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.988s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.014s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.986s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.987s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.657s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.954s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.970s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.002s | passed |
| testInstantiateLabels_updates_allRules() | 4.017s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.987s | passed |
| testParseLabel() | 4.001s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.050s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.018s | passed |
| testrefactorGoal_directChildren_allRules() | 4.033s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.001s | passed |
| testrefactorGoal_none_allRules() | 3.987s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.971s | passed |
| testrefactorGoal_sequent_allRules() | 4.018s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.001s | passed |
Standard output
160706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160706 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.6ns 160706 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 160940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 160940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 160940 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 161831 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 166350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.64s 166350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 917.9ns 166350 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170322 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 170337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 321.7ns 170337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 174339 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174339 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.6ns 174355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 178358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227.8ns 178358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 182392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.3ns 182392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 186378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 697.6ns 186394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 190381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.4ns 190381 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s 194352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.58ms 194368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 198340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns 198340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 202358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 711.4ns 202358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 206360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.5ns 206360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 210378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.6ns 210378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 214428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.8ns 214428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 218447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 218447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms 218447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s 222418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.8ns 222418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 226405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 226421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 226421 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 627.8ns 226421 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.97s 230408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 603.3ns 230408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 234363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.9ns 234363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238351 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s