TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.992s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.076s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.027s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.086s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.465s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.027s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.977s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.047s | passed |
| testInstantiateLabels_updates_allRules() | 3.062s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.052s | passed |
| testParseLabel() | 3.130s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.028s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.092s | passed |
| testrefactorGoal_directChildren_allRules() | 3.030s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.989s | passed |
| testrefactorGoal_none_allRules() | 3.022s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.990s | passed |
| testrefactorGoal_sequent_allRules() | 3.109s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.082s | passed |
Standard output
118590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118590 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 245.3ns 118590 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118782 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 118782 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 118783 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 118783 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 119522 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 123048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 123048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 343.8ns 123063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 126135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126135 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 567.5ns 126135 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129262 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 129267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.6ns 129271 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 132327 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.06s 132374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 627.4ns 132374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 135390 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 135390 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.7ns 135405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 138417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.02s 138417 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138417 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.5ns 138432 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 141462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 141467 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 141468 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 965.4ns 141471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 144443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 144443 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 144443 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.4ns 144459 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 147507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.8ns 147507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 150589 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150589 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.1ns 150604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.05s 153652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 609.3ns 153652 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156745 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.09s 156761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156761 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.1ns 156761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159773 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.01s 159789 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 159805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162870 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.07s 162885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162885 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 273.3ns 162885 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165847 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.97s 165863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165863 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 590ns 165863 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3s 168871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168871 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.9ns 168871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s 171854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171854 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 323ns 171854 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174890 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.03s 174906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 633.9ns 174906 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.98s