TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 2.700s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 2.739s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 2.780s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 2.690s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 3.948s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 2.726s | passed |
| testInstantiateLabels_modalityTermPolicies() | 2.685s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 2.708s | passed |
| testInstantiateLabels_updates_allRules() | 2.716s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 2.718s | passed |
| testParseLabel() | 2.688s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 2.703s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 2.747s | passed |
| testrefactorGoal_directChildren_allRules() | 2.727s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 2.697s | passed |
| testrefactorGoal_none_allRules() | 2.703s | passed |
| testrefactorGoal_none_ruleSpecific() | 2.726s | passed |
| testrefactorGoal_sequent_allRules() | 2.735s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 2.705s | passed |
Standard output
103570 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 103570 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259.5ns 103586 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 103727 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103727 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103727 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 103727 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 104336 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 107508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.93s 107508 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 107508 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.1ns 107524 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 110193 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 110209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 110209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 258.4ns 110209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 112887 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s 112903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 112903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.8ns 112903 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 115627 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 115643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 115643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 171.5ns 115643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 118347 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 118363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 118363 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 524.9ns 118363 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 121142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.77s 121142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 121142 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 169.8ns 121142 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 123853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.7s 123853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 123853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 551.6ns 123853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 126565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 126581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126581 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.8ns 126581 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 129282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.71s 129298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 129298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.31ms 129298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 131993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 132009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 132009 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 179.7ns 132009 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 134722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 134722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.5ns 134737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 137455 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 137470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 137470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.9ns 137470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 140162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 140177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140177 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.9ns 140177 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142903 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.73s 142918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142918 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 237.1ns 142918 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.67s 145591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145591 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 215.8ns 145591 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 148282 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 148298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 148298 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 500.6ns 148298 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.69s 150994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150994 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 206.7ns 150994 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.72s 153717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153717 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 229.1ns 153717 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 156420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 2.68s