TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.487s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.404s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.441s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.768s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.293s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.393s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.454s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.409s | passed |
| testInstantiateLabels_updates_allRules() | 3.282s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.438s | passed |
| testParseLabel() | 3.971s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.346s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.674s | passed |
| testrefactorGoal_directChildren_allRules() | 3.734s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.409s | passed |
| testrefactorGoal_none_allRules() | 3.487s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.408s | passed |
| testrefactorGoal_sequent_allRules() | 3.283s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.330s | passed |
Standard output
133359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.8ns 133359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133625 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133625 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133625 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 133719 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 134937 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 139628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.27s 139644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139644 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 728ns 139644 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 143412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.5ns 143412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.96s 147383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 247.4ns 147383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 151057 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 151057 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.6ns 151073 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 154792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 185.4ns 154792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 158234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 540ns 158234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 161643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 972.7ns 161643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165035 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 165051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 915.3ns 165051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 168490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 599.7ns 168505 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171804 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.31s 171820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.8ns 171835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175103 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 175119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175119 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 583.6ns 175119 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178371 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.26s 178386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 585.4ns 178402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.32s 181733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 178.9ns 181733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 185140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185140 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 306.7ns 185140 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 188595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 188595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.1ns 188595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 192082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192082 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 192082 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 195491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 547.7ns 195491 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 198885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234ns 198901 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s