TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.038s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.511s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.355s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.438s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.239s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.031s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.106s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.022s | passed |
| testInstantiateLabels_updates_allRules() | 5.088s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.189s | passed |
| testParseLabel() | 5.191s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.221s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.200s | passed |
| testrefactorGoal_directChildren_allRules() | 5.296s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.181s | passed |
| testrefactorGoal_none_allRules() | 4.963s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.199s | passed |
| testrefactorGoal_sequent_allRules() | 5.262s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.716s | passed |
Standard output
191933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191933 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.9ns 191933 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192333 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192333 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192333 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 192333 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 193337 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 199171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.23s 199171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 243.9ns 199171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204609 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 204628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 706.6ns 204628 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 209894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.4ns 209894 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214984 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 215000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 194.7ns 215000 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 220297 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 7.34ms 220313 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.34s 225653 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 225653 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 582.3ns 225669 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230676 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 230833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 290.2ns 230833 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 235859 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 235875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 235875 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.4ns 235875 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 241377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 241377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 359.5ns 241377 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246765 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 246781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 246781 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.6ns 246781 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 251869 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.08s 251978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 251978 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.6ns 251978 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 257131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 257131 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 281.4ns 257131 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262337 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 262352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 262352 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 571.2ns 262352 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 267868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 267868 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.8ns 267868 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.1s 272975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 272975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.2ns 272975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277923 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 278001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 278001 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 685.8ns 278001 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 283152 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 283168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 283168 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 218.1ns 283168 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 288200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 288200 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 288200 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 601.7ns 288215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 293239 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s