TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.120s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.153s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.206s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.243s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.462s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.097s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.057s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 5.127s | passed |
| testInstantiateLabels_updates_allRules() | 5.235s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.057s | passed |
| testParseLabel() | 5.234s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.071s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.262s | passed |
| testrefactorGoal_directChildren_allRules() | 5.295s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.286s | passed |
| testrefactorGoal_none_allRules() | 5.268s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.292s | passed |
| testrefactorGoal_sequent_allRules() | 5.198s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.082s | passed |
Standard output
199662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199662 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.7ns 199662 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 200100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 200100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 200100 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201259 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 207119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.46s 207135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.7ns 207135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212362 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 212378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 639.3ns 212378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 217597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 217597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 906.5ns 217597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 222860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 577.1ns 222860 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 228157 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228157 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 620.9ns 228172 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 233364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 233364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.3ns 233380 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 238506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 238506 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 810.4ns 238506 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 243769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 243784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 243784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.35ms 243784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 248842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 248842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 248842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.4ns 248842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 253909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 253925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 253925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.8ns 253925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 259160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 259160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.6ns 259176 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 264342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 264358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 264358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 430.8ns 264358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 269414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 269429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 269429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.3ns 269429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 274588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 274588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 274588 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.5ns 274588 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 279646 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 279.4ns 279661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 284914 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 284930 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 284930 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 859.6ns 284945 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 290187 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 290203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 290203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.6ns 290203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 295301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 295301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 295301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms 295301 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 300418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s