TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.283s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.246s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.298s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.188s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.899s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.176s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.202s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.203s | passed |
| testInstantiateLabels_updates_allRules() | 3.205s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.222s | passed |
| testParseLabel() | 3.206s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.221s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.252s | passed |
| testrefactorGoal_directChildren_allRules() | 3.250s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.202s | passed |
| testrefactorGoal_none_allRules() | 3.189s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.221s | passed |
| testrefactorGoal_sequent_allRules() | 3.267s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.189s | passed |
Standard output
122277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.2ns 122277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122465 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122465 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122465 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122465 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123215 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 127154 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 127170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.3ns 127170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 130358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.1ns 130358 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 133564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 216.2ns 133564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 136816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 606.8ns 136816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140068 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 140084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140084 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 140084 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 143368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 594.6ns 143368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146557 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.19s 146572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146572 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.1ns 146572 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 149793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.1ns 149793 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 153015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 165.4ns 153015 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156188 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 156204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.2ns 156204 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.2s 159409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 600.8ns 159425 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 162676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185ns 162676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 165912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165912 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.8ns 165912 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 169165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 706.5ns 169165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 172356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172356 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.7ns 172356 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175529 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 175545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175545 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261ns 175545 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 178749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178749 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.2ns 178749 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.18s 181925 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181925 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 291.8ns 181940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s