TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.087s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.018s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.000s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.057s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.710s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.048s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.045s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 5.028s | passed |
| testInstantiateLabels_updates_allRules() | 5.057s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.056s | passed |
| testParseLabel() | 5.050s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.032s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.068s | passed |
| testrefactorGoal_directChildren_allRules() | 5.043s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.045s | passed |
| testrefactorGoal_none_allRules() | 5.027s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.015s | passed |
| testrefactorGoal_sequent_allRules() | 5.046s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.059s | passed |
Standard output
187177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 320.2ns 187177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187427 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 187427 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 187443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 187443 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 188427 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 193891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.7s 193891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193891 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276.2ns 193891 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 198948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 198948 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 198948 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.3ns 198963 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 203998 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203998 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 680.8ns 204014 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 209066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.5ns 209066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 214125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.9ns 214125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 219111 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219111 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 594.5ns 219142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 224139 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 632ns 224155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229139 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 229155 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 229170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.99ms 229170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 234227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234227 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.2ns 234227 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 239272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 239272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 587.7ns 239287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 244330 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.1ns 244346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249360 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 249376 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 249376 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 605.3ns 249391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 254424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 254424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.5ns 254424 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 259431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 259431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 604.1ns 259431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 264476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 264476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 264476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 264ns 264476 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 269488 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s 269503 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 269503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.5ns 269519 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 274535 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 274550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 274550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.9ns 274550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 279614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279614 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms 279614 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 284687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s