TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.118s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.121s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.067s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.153s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.605s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.142s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.078s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.074s | passed |
| testInstantiateLabels_updates_allRules() | 4.083s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.141s | passed |
| testParseLabel() | 4.098s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.089s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.085s | passed |
| testrefactorGoal_directChildren_allRules() | 4.070s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.086s | passed |
| testrefactorGoal_none_allRules() | 4.086s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.076s | passed |
| testrefactorGoal_sequent_allRules() | 4.088s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.092s | passed |
Standard output
163426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 677.6ns 163426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163633 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164471 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 169014 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 169029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169029 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 224.1ns 169029 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s 173182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173182 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 173182 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 177280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177280 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.8ns 177280 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181350 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 181365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181365 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.7ns 181365 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 185436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185436 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 541ns 185436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 189504 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189504 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.9ns 189520 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 193579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193579 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.1ns 193579 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197639 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 197655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197655 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.05ms 197655 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201782 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 201803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.8ns 201803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205889 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 205904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205904 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.4ns 205904 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209972 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 209988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.92ms 209988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214044 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 214060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214060 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.1ns 214060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218149 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 218165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 218165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545.4ns 218165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 222275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222275 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243ns 222275 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 226353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 226353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 226353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 193.9ns 226369 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 230439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230439 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202.6ns 230439 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234510 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 234526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234526 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.7ns 234526 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 238669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 238669 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 488.9ns 238669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s