TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.346s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.578s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.507s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.210s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.179s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.297s | passed |
| testInstantiateLabels_modalityTermPolicies() | 4.354s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.562s | passed |
| testInstantiateLabels_updates_allRules() | 4.597s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 4.694s | passed |
| testParseLabel() | 4.115s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.632s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.230s | passed |
| testrefactorGoal_directChildren_allRules() | 4.680s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.303s | passed |
| testrefactorGoal_none_allRules() | 4.318s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.571s | passed |
| testrefactorGoal_sequent_allRules() | 4.604s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.580s | passed |
Standard output
163866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 163866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.72ms 163866 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 164163 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 165313 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 170047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.17s 170047 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 170047 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 257.7ns 170062 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174242 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.19s 174257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174257 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 200.9ns 174257 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.11s 178372 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178372 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 293.2ns 178388 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182587 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.2s 182602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182602 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.57ms 182602 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 187259 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.66s 187287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187287 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.2ns 187287 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 191777 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.5s 191792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 191792 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.7ns 191792 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 196355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.56s 196355 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 196355 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 196370 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 200911 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.55s 200927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 200927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.22ms 200927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205616 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.68s 205623 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205625 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.79ms 205626 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 210186 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 210202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 210202 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 781.1ns 210202 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214800 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.59s 214815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 238.7ns 214815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.58s 219404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.6ns 219404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224020 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.61s 224051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224051 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 261.7ns 224051 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.57s 228622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 208.1ns 228622 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.34s 232977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 232977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213ns 232977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.3s 237295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 237295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 712.7ns 237295 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 241585 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.29s 241601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 241601 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.7ns 241601 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 245899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.28s 245899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 245899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.94ms 245899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250230 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.33s