TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.822s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.832s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.947s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.932s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.064s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.830s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.804s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.903s | passed |
| testInstantiateLabels_updates_allRules() | 4.079s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.909s | passed |
| testParseLabel() | 3.911s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.854s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.924s | passed |
| testrefactorGoal_directChildren_allRules() | 3.999s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.843s | passed |
| testrefactorGoal_none_allRules() | 3.821s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.904s | passed |
| testrefactorGoal_sequent_allRules() | 3.849s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.946s | passed |
Standard output
154341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154341 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.7ns 154341 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154591 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 154591 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 154591 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 154591 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 155544 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 160396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.06s 160412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 160412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.8ns 160412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.91s 164328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164328 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 378.9ns 164328 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 168255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.9ns 168255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172148 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 172163 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172163 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.4ns 172179 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.98s 176166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 176166 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.4ns 176166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.94s 180113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.8ns 180113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 184017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 721ns 184017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187905 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.89s 187921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 981.6ns 187921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191830 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 191846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 167.3ns 191846 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 195776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195776 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 452.6ns 195776 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 199855 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199855 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 471.1ns 199871 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 203704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203704 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.2ns 203704 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207558 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.84s 207574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207574 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 464ns 207574 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 211396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211396 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 160.1ns 211396 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 215200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.6ns 215200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.81s 219021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 475.3ns 219021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222850 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 222866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.3ns 222866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 226681 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 226697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 226697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.8ns 226697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s