TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.313s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.359s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.422s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.409s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.023s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.454s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.267s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.299s | passed |
| testInstantiateLabels_updates_allRules() | 3.299s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.284s | passed |
| testParseLabel() | 3.423s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.281s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.393s | passed |
| testrefactorGoal_directChildren_allRules() | 3.345s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.391s | passed |
| testrefactorGoal_none_allRules() | 3.329s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.314s | passed |
| testrefactorGoal_sequent_allRules() | 3.284s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.283s | passed |
Standard output
129902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.3ns 129902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130136 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130152 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130152 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130152 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 130996 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 134920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 134920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134920 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.21ms 134920 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138314 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 138330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 646.5ns 138330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 141753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141753 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.1ns 141753 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145130 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 145146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 655ns 145146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 148509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148509 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 674.9ns 148509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 151916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184ns 151916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 155215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 562.1ns 155215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 158530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.4ns 158530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 161814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161814 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541.5ns 161814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165081 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 165097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 165097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.29s 168397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168397 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 579.8ns 168397 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171665 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 171681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 579.4ns 171681 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 174963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.9ns 174963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 178326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178326 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.5ns 178326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 181594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181594 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.1ns 181594 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 184938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184938 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.7ns 184938 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 188317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 188317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 188317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 191772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.96ms 191787 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s