TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.509s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.448s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.487s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.537s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.098s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.467s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.486s | passed |
| testInstantiateLabels_null() | 0.004s | passed |
| testInstantiateLabels_taclet() | 3.462s | passed |
| testInstantiateLabels_updates_allRules() | 3.548s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.535s | passed |
| testParseLabel() | 3.592s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.487s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.533s | passed |
| testrefactorGoal_directChildren_allRules() | 3.499s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.482s | passed |
| testrefactorGoal_none_allRules() | 3.455s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.493s | passed |
| testrefactorGoal_sequent_allRules() | 3.562s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.503s | passed |
Standard output
135139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.7ns 135139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135374 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135374 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135374 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135374 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 136311 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 140234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 140234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.2ns 140234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 143772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 262ns 143772 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.59s 147364 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147364 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 875.1ns 147379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150898 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 150913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 150913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 154414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154414 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.3ns 154414 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 157886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 625ns 157886 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 161349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.5ns 161349 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 164842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.94ms 164857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.52s 168378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154.2ns 168394 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171865 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 171881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.2ns 171881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 175429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.3ns 175429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.56s 178991 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178991 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.4ns 179007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182478 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 182493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.5ns 182493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 185933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.3ns 185933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 189419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189419 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.7ns 189419 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192858 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.44s 192874 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192874 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.3ns 192889 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 196376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.7ns 196376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199812 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 199828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199828 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.8ns 199828 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.51s