TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.739s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.759s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.700s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.710s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.072s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.763s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.653s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 2.659s | passed |
| testInstantiateLabels_updates_allRules() | 2.690s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.655s | passed |
| testParseLabel() | 2.718s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.676s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.746s | passed |
| testrefactorGoal_directChildren_allRules() | 2.719s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.710s | passed |
| testrefactorGoal_none_allRules() | 2.755s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.710s | passed |
| testrefactorGoal_sequent_allRules() | 3.012s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.727s | passed |
Standard output
104495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 104495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 104495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 104641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104641 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 105435 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 108550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 108566 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 108566 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.6ns 108581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 111262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 111277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 111277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 396.4ns 111293 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 113997 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 114044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 114044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 332.2ns 114044 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 116741 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 116756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 116756 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.7ns 116756 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 119449 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 119465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 119465 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.5ns 119465 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 122160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122160 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.9ns 122160 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 124811 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 124842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 124842 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 249.1ns 124842 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 127527 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 127542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 127542 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.6ns 127542 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.65s 130208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130208 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 130208 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 132928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.4ns 132944 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 135612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135612 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.2ns 135612 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 138624 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138624 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.2ns 138639 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141301 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.66s 141316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141316 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 570.6ns 141316 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.75s 144081 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 335.8ns 144097 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 146724 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.63s 146739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146739 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264.6ns 146739 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 149492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149492 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 274.1ns 149492 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 152215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152215 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.3ns 152215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 154967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.7ns 154967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157689 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s