TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.618s | passed |
| testGetTermLabelManager() | 0.009s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.037s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.723s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.233s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.752s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.642s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.902s | passed |
| testInstantiateLabels_null() | 0.009s | passed |
| testInstantiateLabels_taclet() | 3.400s | passed |
| testInstantiateLabels_updates_allRules() | 3.831s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.608s | passed |
| testParseLabel() | 3.217s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.924s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.228s | passed |
| testrefactorGoal_directChildren_allRules() | 3.438s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.617s | passed |
| testrefactorGoal_none_allRules() | 3.749s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.469s | passed |
| testrefactorGoal_sequent_allRules() | 4.049s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.559s | passed |
Standard output
128406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 128406 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 366.6ns 128406 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 128581 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 128597 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 129378 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 133146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.73s 133146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 829.6ns 133146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 136379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.9ns 136379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.21s 139596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 265.4ns 139596 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.22s 142824 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142824 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.6ns 142840 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146263 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 146278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 586.5ns 146278 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 149987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 530ns 150002 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 153388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 496.9ns 153388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 156857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156857 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 137.8ns 156857 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 160465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s 160465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.48ms 160481 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.53s 164275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260.1ns 164275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167841 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 167856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167856 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.1ns 167856 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 171921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.1ns 171921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175835 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 175850 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 721.6ns 175866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 179883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.4ns 179883 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183769 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 183785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.9ns 183785 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 187550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 534.8ns 187550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191132 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.58s 191163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.1ns 191179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 194805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 463.9ns 194820 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.6s