TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.721s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.797s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.237s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.425s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.164s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.659s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.765s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.863s | passed |
| testInstantiateLabels_updates_allRules() | 3.831s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.675s | passed |
| testParseLabel() | 4.313s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.783s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.176s | passed |
| testrefactorGoal_directChildren_allRules() | 4.079s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.703s | passed |
| testrefactorGoal_none_allRules() | 3.644s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.736s | passed |
| testrefactorGoal_sequent_allRules() | 3.909s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.658s | passed |
Standard output
147595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.2ns 147595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147845 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 147845 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 147845 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 147861 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 148736 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 153755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.15s 153755 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 357.5ns 153771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 158180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158180 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.4ns 158180 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 162494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162494 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.6ns 162494 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 166670 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166670 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.1ns 166686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 170766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170766 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.1ns 170766 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.22s 174988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.9ns 174988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 178851 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 507ns 178866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 182587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.16ms 182587 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 186262 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215ns 186278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.64s 189920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.1ns 189920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 193751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.3ns 193751 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 197660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.9ns 197676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201428 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 201443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.4ns 201443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205228 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 205243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205243 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 491.5ns 205243 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 209009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.8ns 209009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212637 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 212653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.7ns 212653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 216358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.7ns 216374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.65s 220032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 399.7ns 220032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s