TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.040s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.070s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.445s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.519s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.331s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.045s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.025s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.125s | passed |
| testInstantiateLabels_updates_allRules() | 4.073s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.087s | passed |
| testParseLabel() | 4.105s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.097s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.166s | passed |
| testrefactorGoal_directChildren_allRules() | 4.193s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.054s | passed |
| testrefactorGoal_none_allRules() | 4.050s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.208s | passed |
| testrefactorGoal_sequent_allRules() | 4.055s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.106s | passed |
Standard output
163121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 300.4ns 163121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163481 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163481 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163481 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163481 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 169446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.32s 169446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.01ms 169462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 173966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173966 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.7ns 173966 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 178072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 307.2ns 178072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182223 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 182238 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182238 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.8ms 182254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.17s 186432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 639.9ns 186432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 190897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190897 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 576.8ns 190897 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 4.1s 195007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197ns 195007 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199199 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 199215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.42ms 199215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203302 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 203317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.49ms 203317 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 207409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207409 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.6ns 207409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 211482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 602.8ns 211482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 215537 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215537 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.7ns 215553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219634 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 219649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219649 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.6ns 219649 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 223710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223710 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 228.5ns 223710 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 227736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227736 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.3ns 227736 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231770 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 231786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 231786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 550.2ns 231786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 235842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 235842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 505.9ns 235842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 239888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 239888 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.02ms 239888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 243928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s