TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.873s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.910s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.099s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.084s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.513s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.846s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.881s | passed |
| testInstantiateLabels_null() | 0.002s | passed |
| testInstantiateLabels_taclet() | 4.983s | passed |
| testInstantiateLabels_updates_allRules() | 5.054s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.977s | passed |
| testParseLabel() | 5.166s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.926s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.170s | passed |
| testrefactorGoal_directChildren_allRules() | 5.194s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.317s | passed |
| testrefactorGoal_none_allRules() | 4.889s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.065s | passed |
| testrefactorGoal_sequent_allRules() | 4.916s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.927s | passed |
Standard output
199839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.1ns 199839 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200312 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 200328 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 200328 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 200328 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201692 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 207337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.49s 207353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207353 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 611.1ns 207353 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 212438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.2ns 212438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.16s 217620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 217620 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 314.8ns 217620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222759 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 222774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 542.8ns 222774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227907 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 227970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227970 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 622.9ns 227970 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233072 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 233088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 233088 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 188.2ns 233088 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238039 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 238055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 238055 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 498.9ns 238055 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242949 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 243121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 243121 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 476.9ns 243121 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 248098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 248098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 248098 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.7ns 248114 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 253011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 253026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 253026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.4ns 253026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 258080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 258080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 258080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.34ms 258080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.9s 262996 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 262996 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161ns 263011 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267922 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 267940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 267940 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.9ns 267940 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272820 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 272836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 272836 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 236ns 272836 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 277720 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 277720 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 221.1ns 277725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 282607 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.89s 282622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 282622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 533.5ns 282622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 287928 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 287934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 287934 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.2ns 287934 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 292781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 292781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 292781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524ns 292781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 297654 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.86s