TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.589s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.652s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.611s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.697s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.729s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.582s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.607s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.568s | passed |
| testInstantiateLabels_updates_allRules() | 2.681s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.602s | passed |
| testParseLabel() | 2.902s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.628s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.662s | passed |
| testrefactorGoal_directChildren_allRules() | 2.688s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.588s | passed |
| testrefactorGoal_none_allRules() | 2.578s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.606s | passed |
| testrefactorGoal_sequent_allRules() | 2.606s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.587s | passed |
Standard output
98370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 98370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.4ns 98370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 98534 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 98534 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 98535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 98535 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 99127 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 102084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 102084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 102084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 469.8ns 102084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 104785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 104785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 104785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.4ns 104785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 107684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.89s 107684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 107684 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.4ns 107684 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 110358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 110358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113019 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 113035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 113035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.37ms 113035 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.6s 115640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115640 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 714.3ns 115640 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 118215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 407ns 118230 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 120810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 120841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 120841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.7ns 120841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 123424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.28ms 123424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 126048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219ns 126048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 128693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 140.5ns 128693 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 131319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214ns 131319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133915 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.59s 133931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133931 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.9ns 133931 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136568 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 136584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.3ns 136584 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.61s 139206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.1ns 139206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 141787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.9ns 141787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s 144372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168ns 144372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.58s 146949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 654.6ns 146949 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.57s