TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.138s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.432s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.476s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.531s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.553s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.360s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.331s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.566s | passed |
| testInstantiateLabels_updates_allRules() | 5.562s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.570s | passed |
| testParseLabel() | 5.397s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.428s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.561s | passed |
| testrefactorGoal_directChildren_allRules() | 5.545s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.485s | passed |
| testrefactorGoal_none_allRules() | 5.406s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.483s | passed |
| testrefactorGoal_sequent_allRules() | 5.445s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.438s | passed |
Standard output
206062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 832.6ns 206078 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206375 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 206375 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 206375 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 206375 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 207679 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 213614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.53s 213614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 727ns 213614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 219146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 669.9ns 219146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 224544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224544 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 347.6ns 224544 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 230105 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 681.6ns 230121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 235652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 235652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244ns 235652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.47s 241128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 241128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265ns 241128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 246695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 246695 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 657.9ns 246695 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 252179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 252179 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.16ms 252179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 257750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 257750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 638.9ns 257750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 263173 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 263189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 263189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.1ms 263189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 268752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 268752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 268752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.3ns 268752 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 274197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 274197 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 274197 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.8ns 274213 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 279625 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.7ns 279641 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 285047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 285062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 285062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.6ns 285062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 290391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.32s 290394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 290394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.7ns 290394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 295800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 295816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 295816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.02ms 295816 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 301288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 301288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 301288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 250.2ns 301304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 306648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 306648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 306648 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 472.2ns 306648 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 311785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.13s