TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.892s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.030s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.657s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.188s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.261s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.907s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.049s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.204s | passed |
| testInstantiateLabels_updates_allRules() | 5.731s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.689s | passed |
| testParseLabel() | 4.298s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.236s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.660s | passed |
| testrefactorGoal_directChildren_allRules() | 4.564s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.922s | passed |
| testrefactorGoal_none_allRules() | 4.018s | passed |
| testrefactorGoal_none_ruleSpecific() | 6.502s | passed |
| testrefactorGoal_sequent_allRules() | 4.484s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 6.268s | passed |
Standard output
148951 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.1ns 148967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 149186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 149186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 149186 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 150093 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 155204 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.25s 155220 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155220 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 594.7ns 155220 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 4.18s 159487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 369.1ns 159487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163693 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s 163708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163708 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.4ns 163708 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 168368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168384 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.23ms 168384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.54s 172933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 596.1ns 172933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177592 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.65s 177608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642ns 177608 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 182845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 285.2ns 182845 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.32s 189317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.32ms 189317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 195101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 296.9ns 195101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.16s 201291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 791.1ns 201291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207013 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.71s 207028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.4ns 207028 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 211499 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 10.3ms 211514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 216736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.7ns 216752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 220770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.5ns 220770 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 224820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.4ns 224820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228823 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.99s 228838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 346.1ns 228838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232762 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 232778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232778 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 632.5ns 232778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 236671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 236671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 494.1ns 236671 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240563 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.88s