TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.267s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.467s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.453s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.564s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.215s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.363s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.438s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.909s | passed |
| testInstantiateLabels_updates_allRules() | 3.688s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.704s | passed |
| testParseLabel() | 3.924s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.393s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.471s | passed |
| testrefactorGoal_directChildren_allRules() | 3.437s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.392s | passed |
| testrefactorGoal_none_allRules() | 3.438s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.579s | passed |
| testrefactorGoal_sequent_allRules() | 3.471s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.595s | passed |
Standard output
137054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137054 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 315ns 137054 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 137272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 137272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 137272 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 138179 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 142259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 142259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.4ns 142259 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145808 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 146340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146340 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.2ns 146340 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 149748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149748 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.9ns 149748 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 153234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.6ns 153234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 156658 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156658 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 665.6ns 156674 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160112 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 160347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 482.7ns 160347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 165037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 163.7ns 165037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 168602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 981.6ns 168602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 172307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 557.6ns 172307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175872 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 175903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189ns 175903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s 179592 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.19ms 179608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 183063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 620.4ns 183079 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 186456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.9ns 186472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 189927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.1ns 189927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 193366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193366 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 329.1ns 193366 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196790 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 196805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.2ns 196821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.37s 200197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 200197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 532.3ns 200213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.36s 203560 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203575 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 870.6ns 203575 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.25s