TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.146s | passed |
| testGetTermLabelManager() | 0.002s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.168s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.128s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.153s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.422s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.202s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.130s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.260s | passed |
| testInstantiateLabels_updates_allRules() | 3.160s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.138s | passed |
| testParseLabel() | 3.123s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.119s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.117s | passed |
| testrefactorGoal_directChildren_allRules() | 3.195s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.197s | passed |
| testrefactorGoal_none_allRules() | 3.185s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.204s | passed |
| testrefactorGoal_sequent_allRules() | 3.078s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.167s | passed |
Standard output
123830 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.7ns 123833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123992 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 124649 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 128240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 128255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 547.8ns 128255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 131394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 131394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 270.8ns 131394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134517 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 134533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 686ns 134533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 137649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 137649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 140831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140831 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.2ns 140831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 143959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143959 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.1ns 143959 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s 147220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.7ns 147220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 150424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.22ms 150424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 153563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms 153563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 156746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.5ns 156746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 159891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 530.4ns 159891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162953 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 162969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.2ns 162969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166073 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 166089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.9ns 166089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 169261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169261 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.4ns 169261 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 172392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.2ns 172392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 175577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175577 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.7ns 175577 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 178774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.6ns 178774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 181992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms 181992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185118 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s