TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.785s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.872s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.704s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.781s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.583s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.861s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.940s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.735s | passed |
| testInstantiateLabels_updates_allRules() | 3.768s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.799s | passed |
| testParseLabel() | 3.753s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.720s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.882s | passed |
| testrefactorGoal_directChildren_allRules() | 3.779s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.766s | passed |
| testrefactorGoal_none_allRules() | 3.909s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.768s | passed |
| testrefactorGoal_sequent_allRules() | 3.690s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.751s | passed |
Standard output
146821 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 146821 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.2ms 146837 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 147088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 147088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 147088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 148087 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 152389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 152405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 644.8ns 152405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 156171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 156171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 283.5ns 156171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 159924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 159924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 159924 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 334.8ns 159924 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 163787 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 163806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163806 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 230.6ns 163806 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 167571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 167586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 167586 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 575.5ns 167586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171276 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.69s 171291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 615.5ns 171291 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175012 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.72s 175027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175027 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 509ns 175027 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.75s 178795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178795 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.2ns 178795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.8s 182595 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182595 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.8ns 182610 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 186330 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.73s 186346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 186346 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.1ns 186346 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.76s 190115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 190115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 587.1ns 190115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 193789 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.67s 193805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 193805 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252.7ns 193805 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 197525 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.71s 197541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 197541 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.1ns 197541 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 201402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.86s 201402 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 201402 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 197.4ns 201418 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.92s 205342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205342 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 538.4ns 205342 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.9s 209266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209266 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 686.7ns 209266 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213005 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.74s 213020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 331.4ns 213020 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 216881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.85s 216881 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 216881 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 275.5ns 216897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 220666 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.77s