TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.724s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.747s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.850s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.908s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.000s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.726s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.742s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.736s | passed |
| testInstantiateLabels_updates_allRules() | 2.762s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.697s | passed |
| testParseLabel() | 2.773s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.762s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.855s | passed |
| testrefactorGoal_directChildren_allRules() | 2.827s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.732s | passed |
| testrefactorGoal_none_allRules() | 2.756s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.709s | passed |
| testrefactorGoal_sequent_allRules() | 2.722s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.721s | passed |
Standard output
105673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 105673 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262.2ns 105673 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 105814 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 105814 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 105814 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 105814 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 106520 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 109643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 109658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 109658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.4ns 109658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 112564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.9s 112564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 112564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293ns 112564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 115340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.3ns 115355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 118205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.6ns 118205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.81s 121023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.2ns 121023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.84s 123873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.6ns 123889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 126610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126610 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.3ns 126610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 129325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.6ms 129325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 132018 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132018 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.8ns 132034 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134738 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 134754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.5ns 134754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 137502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137502 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 501.4ns 137502 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 140225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.5ns 140225 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 143003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.5ns 143003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 145750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.4ns 145750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 148486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148486 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.9ns 148486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151224 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.74s 151240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 151240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 153975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.1ns 153991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 156707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156707 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.6ns 156707 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s