TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.070s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.024s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.415s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.471s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.875s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.012s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.018s | passed |
| testInstantiateLabels_null() | 0.002s | passed |
| testInstantiateLabels_taclet() | 5.121s | passed |
| testInstantiateLabels_updates_allRules() | 5.122s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.095s | passed |
| testParseLabel() | 5.309s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.972s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.269s | passed |
| testrefactorGoal_directChildren_allRules() | 5.331s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.076s | passed |
| testrefactorGoal_none_allRules() | 5.063s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.026s | passed |
| testrefactorGoal_sequent_allRules() | 5.053s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.052s | passed |
Standard output
200856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 200856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.8ns 200856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201247 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201247 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201247 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201247 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 202670 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 208702 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.86s 208718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 208718 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 344.6ns 208718 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 214189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 854.2ns 214189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 219499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219499 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338ns 219499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 224784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 654.4ns 224784 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230086 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 230101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 644.2ns 230101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 235533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 235533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 960.2ns 235533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 240639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 240639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.9ns 240639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 245666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 245666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.21ms 245666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 250762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 250762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.7ns 250762 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 255799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 255815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 255815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 597.7ns 255815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 260938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 260954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 260954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.4ns 260954 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 265977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 265992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 265992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.2ns 265992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 270948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 270979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 270979 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.1ns 270979 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 275994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 275994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 275994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.5ns 275994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 281012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 281012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 281012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns 281012 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 286059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 286090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 286090 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 652.7ns 286090 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 291123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 291164 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 291165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.5ns 291166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 296175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 296175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 296175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.9ns 296175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 301246 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s