TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.159s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.124s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.134s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.199s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.764s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.119s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.115s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.106s | passed |
| testInstantiateLabels_updates_allRules() | 4.117s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.114s | passed |
| testParseLabel() | 4.177s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.160s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.214s | passed |
| testrefactorGoal_directChildren_allRules() | 4.204s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.158s | passed |
| testrefactorGoal_none_allRules() | 4.134s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.145s | passed |
| testrefactorGoal_sequent_allRules() | 4.116s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.134s | passed |
Standard output
156497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 301.2ns 156497 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156747 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 157680 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 162234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.73s 162234 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162234 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 288.7ns 162249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 166433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166433 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.7ns 166433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 170611 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 170627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 588.3ns 170627 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174810 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 174826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233.4ns 174841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.18s 179031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179031 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204ns 179031 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.13s 183165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 183165 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.4ns 183165 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 187272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187272 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 797.8ns 187272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 191418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191418 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 480.3ns 191418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 195533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 192.4ns 195533 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199652 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 199668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 592.3ns 199668 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 203786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 198.5ns 203786 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 207903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.1ns 207903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212048 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 212063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212063 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.2ns 212063 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 216191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.3ns 216191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 220307 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 220307 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.9ns 220322 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 224441 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224441 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 564.1ns 224456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.14s 228601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.6ns 228601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 232721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232721 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.8ns 232721 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236880 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.15s