TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.995s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.069s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.221s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.079s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.558s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.991s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.164s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 5.336s | passed |
| testInstantiateLabels_updates_allRules() | 5.207s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.112s | passed |
| testParseLabel() | 5.193s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.029s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.007s | passed |
| testrefactorGoal_directChildren_allRules() | 5.150s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.855s | passed |
| testrefactorGoal_none_allRules() | 4.933s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.279s | passed |
| testrefactorGoal_sequent_allRules() | 5.051s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.723s | passed |
Standard output
198864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.2ns 198864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 199223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 199223 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 199239 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 200571 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 206404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.54s 206404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 532.4ns 206404 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 5.07s 211483 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211483 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 730.1ns 211498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 216677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.9ns 216677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 221669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 221685 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 221685 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 256.3ns 221700 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 226835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s 226837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 226837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 563.5ns 226853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 232059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232059 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.6ns 232059 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237381 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 237396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 237396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 636.6ns 237474 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 242676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 242676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.98ms 242676 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 248257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 248257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318.4ns 248257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 253497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.25s 253513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 253513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230ns 253530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 258720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 258720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 258720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.26ms 258720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 263755 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 263771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 263771 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.3ns 263771 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 268784 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 268817 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 268818 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 984.9ns 268822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 273878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 273878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 273878 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.5ns 273878 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 279045 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279045 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.7ns 279046 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 283961 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 283976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 283976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 641.8ns 283976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 288833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.85s 288849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 288849 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 589.8ns 288849 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 293825 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 293841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 293841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.4ns 293841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 298820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s