TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.684s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.416s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.543s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.553s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.654s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.537s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.436s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.554s | passed |
| testInstantiateLabels_updates_allRules() | 4.504s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.462s | passed |
| testParseLabel() | 4.572s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.486s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.665s | passed |
| testrefactorGoal_directChildren_allRules() | 4.644s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.516s | passed |
| testrefactorGoal_none_allRules() | 4.428s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.606s | passed |
| testrefactorGoal_sequent_allRules() | 4.461s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.417s | passed |
Standard output
183647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.6ns 183663 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184070 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 184070 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 184070 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 184070 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 185144 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 190305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.64s 190305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.9ns 190305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 194873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 683.4ns 194873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 199430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.8ns 199430 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 204095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 623.2ns 204111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 208716 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.62s 208743 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 208744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 582.8ns 208747 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 213285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.3ns 213285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 217854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 217854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.8ns 217854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 222445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.33ms 222445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 226905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 226912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 226912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.1ns 226914 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 231326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 231341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.66ms 231341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 235831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 235831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.03ms 235831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 240292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 240292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 507.1ns 240308 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 244778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 606.6ns 244794 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 249202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 249202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199ns 249202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 253639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 253654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 253654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.2ns 253654 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 258052 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 258067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 258067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 618.9ns 258067 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 262586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 262586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.4ns 262586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.52s 267123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 267123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 492.5ns 267123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 271807 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.69s