TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.391s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.216s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.296s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.290s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.720s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.287s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.276s | passed |
| testInstantiateLabels_null() | 0.005s | passed |
| testInstantiateLabels_taclet() | 5.233s | passed |
| testInstantiateLabels_updates_allRules() | 5.185s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.145s | passed |
| testParseLabel() | 5.656s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.320s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.825s | passed |
| testrefactorGoal_directChildren_allRules() | 5.533s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.281s | passed |
| testrefactorGoal_none_allRules() | 5.448s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.294s | passed |
| testrefactorGoal_sequent_allRules() | 5.255s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.258s | passed |
Standard output
201435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201435 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.2ns 201435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201842 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201857 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201857 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 201857 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 203123 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 209151 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.71s 209167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 415.2ns 209167 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 214441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 337.3ns 214457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220097 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.65s 220113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 960.2ns 220113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 225906 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.79s 225937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 225937 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 489.7ns 225937 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231442 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.51s 231457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 231457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 601.6ns 231457 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 236754 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 236754 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 554.1ns 236769 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 241988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 241988 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 590.7ns 241988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 247283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 247283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.75ms 247283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 252429 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 252429 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns 252444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 257688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 257688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 172.6ns 257688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 262873 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 262873 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 499ns 262888 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 268113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 268128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 268128 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 553.6ns 268128 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 273433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.31s 273464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 273464 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 195.2ns 273464 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 278656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.2s 278672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 278672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.7ns 278672 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 283950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.28s 283950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 283950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.3ns 283950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 289382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 289413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 289413 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 203.8ns 289413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 294671 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.26s 294686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 294686 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 325.7ns 294686 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 299973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.29s 299973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 299973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 558.3ns 299973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 305349 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s