TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.256s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.109s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.259s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.230s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.848s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.114s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.093s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.215s | passed |
| testInstantiateLabels_updates_allRules() | 4.091s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.067s | passed |
| testParseLabel() | 4.402s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.128s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.596s | passed |
| testrefactorGoal_directChildren_allRules() | 4.255s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.122s | passed |
| testrefactorGoal_none_allRules() | 4.091s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.122s | passed |
| testrefactorGoal_sequent_allRules() | 4.107s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.135s | passed |
Standard output
167270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167270 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 308.4ns 167270 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 167552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 167552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 167552 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 168379 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 173085 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.83s 173101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 173101 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.5ns 173101 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177331 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s 177347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.5ns 177347 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 181733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.39s 181733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 181733 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.8ns 181733 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186313 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 186344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186344 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.4ns 186344 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.24s 190585 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.4ns 190600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 194845 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.26s 194861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194861 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 614.5ns 194861 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 199061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 448.2ns 199077 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 203167 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 203183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 203183 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 950.5ns 203183 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.06s 207250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 222.4ns 207266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 211370 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 211386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 211386 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 176.2ns 211386 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 215477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 215477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 215477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 580.9ns 215477 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219584 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 219600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219600 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.2ns 219600 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223713 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 223729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223729 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.9ns 223729 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 227826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227826 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.4ns 227826 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 231903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.08s 231921 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 231921 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231ns 231923 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 236010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.09s 236026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 236026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 882.7ns 236026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.1s 240137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 240137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 566.7ns 240137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 244267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244267 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 456.7ns 244267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 248491 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.23s