TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.207s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.323s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.299s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.565s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.048s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.235s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.298s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.190s | passed |
| testInstantiateLabels_updates_allRules() | 4.376s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.331s | passed |
| testParseLabel() | 4.582s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.331s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.300s | passed |
| testrefactorGoal_directChildren_allRules() | 4.251s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.269s | passed |
| testrefactorGoal_none_allRules() | 4.394s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.284s | passed |
| testrefactorGoal_sequent_allRules() | 4.456s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.299s | passed |
Standard output
162696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.46ms 162696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 162930 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 163774 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 168746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.04s 168746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 667.7ns 168746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 173312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173312 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.5ns 173312 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 177894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns 177894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182178 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 182194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182194 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.6ns 182194 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 186446 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186446 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 624.6ns 186462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 190746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190746 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 562.9ns 190761 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 194936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.6ns 194936 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 199221 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199221 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 655.9ns 199237 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 203552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203552 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.3ns 203552 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207837 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 207852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207852 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.5ns 207852 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212229 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.37s 212245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 570ns 212245 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.43s 216686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 244.1ns 216686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 221001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.31s 221017 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 221017 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.2ns 221032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.32s 225348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 225348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.1ns 225348 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 229647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 229647 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 241.2ns 229647 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234025 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.38s 234041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234041 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.6ns 234041 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.25s 238311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 238311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 586.1ns 238311 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 242547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 242547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.5ns 242547 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.21s