TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.401s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.295s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.607s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.521s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.310s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.378s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.298s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.663s | passed |
| testInstantiateLabels_updates_allRules() | 5.586s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.760s | passed |
| testParseLabel() | 5.240s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.430s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.563s | passed |
| testrefactorGoal_directChildren_allRules() | 5.436s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.374s | passed |
| testrefactorGoal_none_allRules() | 5.241s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.345s | passed |
| testrefactorGoal_sequent_allRules() | 5.563s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.552s | passed |
Standard output
203696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 282.3ns 203696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204040 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 204040 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 204056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 204056 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 205128 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 211007 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.31s 211022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211022 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 408.7ns 211022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 216528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 348.2ns 216528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 221768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 221768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 221768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 263.9ns 221768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227315 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 227346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.2ns 227346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232752 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 232768 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232768 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.3ns 232783 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.6s 238391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 238391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.7ns 238391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s 244040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244040 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 877.9ns 244040 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.33s 249386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 249386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 429.2ns 249401 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 255146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.75s 255146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 255146 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.2ns 255146 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 260683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.54s 260699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 260699 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.7ns 260699 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 266269 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.57s 266285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 266285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.31ms 266285 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 271816 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 271848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 271848 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 271.3ns 271848 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277278 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s 277295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 277295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 545ns 277295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 282581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 282581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 282581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.9ns 282581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 287880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 287896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 287896 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 807.5ns 287896 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 293106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.22s 293121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 293121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns 293121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 298482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 298497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 298497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208ns 298497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 303860 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.37s 303875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 303875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.2ns 303875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 309276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s