TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.618s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.489s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.555s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.479s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.293s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.678s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.497s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.725s | passed |
| testInstantiateLabels_updates_allRules() | 4.467s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.517s | passed |
| testParseLabel() | 4.577s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.642s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.547s | passed |
| testrefactorGoal_directChildren_allRules() | 4.584s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.602s | passed |
| testrefactorGoal_none_allRules() | 4.424s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.691s | passed |
| testrefactorGoal_sequent_allRules() | 4.591s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.420s | passed |
Standard output
166215 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 166216 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.1ns 166217 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166496 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 166496 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 166497 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 166498 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 167529 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 172503 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.29s 172508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 172508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 128.3ns 172509 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 176983 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.47s 176987 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 176987 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 154ns 176988 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181560 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 181564 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 181564 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 133.1ns 181565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186099 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.53s 186113 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 186113 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 634.6ns 186115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190687 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 190696 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 190696 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.9ns 190697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 195252 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 195252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.6ns 195254 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.72s 199976 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 199976 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 122.3ns 199977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 204668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 204668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 139.5ns 204668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209181 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.51s 209185 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 209185 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.5ns 209186 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213596 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.41s 213604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 213604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.8ns 213605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.46s 218071 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 218071 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 148.9ns 218072 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222650 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 222665 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 222666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 573.6ns 222667 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.63s 227309 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 227309 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 156.9ns 227310 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.48s 231799 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 231799 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 115.9ns 231800 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236292 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.49s 236295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 236295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 104.6ns 236296 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240712 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.42s 240725 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 240726 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 651.3ns 240727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245318 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 245325 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 245325 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 145.5ns 245326 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250000 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.67s 250003 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 250003 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.4ns 250004 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254618 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s