TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.799s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.809s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.863s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.940s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.362s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.815s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.798s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.815s | passed |
| testInstantiateLabels_updates_allRules() | 3.831s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.824s | passed |
| testParseLabel() | 3.956s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.831s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.908s | passed |
| testrefactorGoal_directChildren_allRules() | 3.845s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.829s | passed |
| testrefactorGoal_none_allRules() | 3.799s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.858s | passed |
| testrefactorGoal_sequent_allRules() | 3.814s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.814s | passed |
Standard output
150821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.7ns 150821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 151056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 151056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 151056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 151056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 151837 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 156168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 156184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156184 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 387ns 156184 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160108 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 160123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160123 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276ns 160123 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 164064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.7ns 164064 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167957 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 167972 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205ns 167988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 171818 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 537.8ns 171833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 175682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.3ns 175682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 179512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 910.1ns 179512 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 183375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.01ms 183375 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187174 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 187190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.5ns 187190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 191004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191004 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.1ns 191004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 194835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.9ns 194835 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 198649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180ns 198649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 202480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202480 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 202480 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 206296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206296 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 490.8ns 206296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 210095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.7ns 210110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.78s 213894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.8ns 213894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 217724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 217724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.55ms 217724 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 221539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 221539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 221539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.4ns 221539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225338 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s