TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.408s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.498s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.441s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.642s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.500s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.410s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.378s | passed |
| testInstantiateLabels_null() | 0.002s | passed |
| testInstantiateLabels_taclet() | 4.424s | passed |
| testInstantiateLabels_updates_allRules() | 4.379s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.424s | passed |
| testParseLabel() | 4.503s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.394s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.409s | passed |
| testrefactorGoal_directChildren_allRules() | 4.409s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.386s | passed |
| testrefactorGoal_none_allRules() | 4.502s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.409s | passed |
| testrefactorGoal_sequent_allRules() | 4.330s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.376s | passed |
Standard output
173021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 253.6ns 173021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173334 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 173334 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 173334 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 173334 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 174475 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 179508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.48s 179508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.9ns 179508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 184150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.64s 184150 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 184150 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 358.9ns 184166 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 188653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 188653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.2ns 188653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 193062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193062 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 639.9ns 193062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 197472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 177.1ns 197472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.44s 201913 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201913 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 338ns 201928 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 206321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.4s 206337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 206337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 556.5ns 206337 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 210746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.47ms 210746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215155 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 215170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215170 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns 215170 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 219547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 219563 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 223926 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223926 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.2ns 223942 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 228256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.3ns 228272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 232666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 595.3ns 232666 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 237152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 237152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 525.3ns 237152 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 241531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 241531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 603.3ns 241546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 246033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 246033 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 639.3ns 246033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250411 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 250426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 250426 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.3ns 250426 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 254852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 254852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 567.8ns 254852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259244 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s