TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.785s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.776s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.841s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.036s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.839s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.810s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.876s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.903s | passed |
| testInstantiateLabels_updates_allRules() | 4.750s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.884s | passed |
| testParseLabel() | 4.887s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.829s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.864s | passed |
| testrefactorGoal_directChildren_allRules() | 4.863s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.894s | passed |
| testrefactorGoal_none_allRules() | 4.931s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.878s | passed |
| testrefactorGoal_sequent_allRules() | 4.846s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.829s | passed |
Standard output
184205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184205 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.8ns 184205 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 184581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 184581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 184581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 185644 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 191039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.83s 191039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.7ns 191055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196075 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 196091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196091 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 563.7ns 196091 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 200963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 200963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.7ns 200963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205827 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 205842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.45ms 205842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 210692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210692 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 676.8ns 210692 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.83s 215535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.7ns 215535 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 220438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.65ms 220438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 225316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 225316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.16ms 225316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 230201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230201 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243ns 230201 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 235030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 235030 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 591ns 235046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.74s 239781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 239781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.6ns 239796 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 244627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns 244627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.82s 249472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 249472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.5ns 249472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.77s 254236 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 254236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.5ns 254252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259109 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s 259113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 259113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.4ns 259113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 264028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 264043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 264043 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.6ns 264043 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 268939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s 268939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 268939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.8ns 268939 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 273734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 273750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 273750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 425.6ns 273750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 278535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.79s