TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.705s | passed |
| testGetTermLabelManager() | 0.007s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.730s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.829s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.705s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.499s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.782s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.798s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.838s | passed |
| testInstantiateLabels_updates_allRules() | 3.737s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.830s | passed |
| testParseLabel() | 3.814s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.768s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.784s | passed |
| testrefactorGoal_directChildren_allRules() | 3.814s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.815s | passed |
| testrefactorGoal_none_allRules() | 3.750s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.816s | passed |
| testrefactorGoal_sequent_allRules() | 3.783s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.737s | passed |
Standard output
145399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145399 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.9ns 145399 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 145665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 145665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 145665 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 146525 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 150886 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 150902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150902 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 758.1ns 150902 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154608 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s 154623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154623 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.4ns 154623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158422 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 158438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158438 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.9ns 158438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 162191 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 162206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 162206 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 679.1ns 162206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 166021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 166021 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 166021 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.1ns 166037 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169851 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 169867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169867 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 754.8ns 169867 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 173697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 173697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173697 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.1ns 173697 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177497 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 177513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177513 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 796.6ns 177513 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181343 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.83s 181359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181359 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 607.6ns 181359 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185067 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 185083 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185083 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns 185098 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 188821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 188821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 639.9ns 188837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 192604 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192604 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 272.6ns 192620 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196357 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 196388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196388 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 3.82ms 196388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 200110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 200110 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 248.1ns 200110 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203894 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 203909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203909 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 183.7ns 203909 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 207677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207677 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 212.8ns 207677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.79s 211477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 639.1ns 211477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s 215260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215260 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.5ns 215260 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218965 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.7s