TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.027s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.044s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.066s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.052s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.703s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.051s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.013s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 4.033s | passed |
| testInstantiateLabels_updates_allRules() | 4.114s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.066s | passed |
| testParseLabel() | 4.050s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.018s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.136s | passed |
| testrefactorGoal_directChildren_allRules() | 4.089s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.011s | passed |
| testrefactorGoal_none_allRules() | 4.055s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.036s | passed |
| testrefactorGoal_sequent_allRules() | 4.039s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.067s | passed |
Standard output
155507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155507 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.9ns 155507 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155725 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 155725 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 155725 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 155725 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 156600 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 161203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.7s 161203 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161203 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 260ns 161218 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 165255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165255 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.7ns 165255 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169305 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 169305 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169321 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 318ns 169321 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173425 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.12s 173456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173456 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 554.4ns 173456 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.07s 177531 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177531 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 506.6ns 177546 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 181597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181597 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.2ns 181597 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 185631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185631 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.7ns 185631 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189667 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 189682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189682 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.09ms 189682 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 193734 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 223.6ns 193750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197785 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.05s 197801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197801 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.7ns 197801 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 201916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201916 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 175.7ns 201916 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205939 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.02s 205955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 202ns 205955 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.01s 209989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209989 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509ns 209989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 214023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 246.8ns 214039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 218037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 218037 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.4ns 218037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222092 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.04s 222107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 222107 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 546.4ns 222107 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 226105 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 226120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 226120 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.2ns 226120 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 230141 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 230156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 230156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 937.4ns 230156 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s