TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.876s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.079s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 4.921s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 4.954s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.661s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.985s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.024s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 4.952s | passed |
| testInstantiateLabels_updates_allRules() | 5.028s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.159s | passed |
| testParseLabel() | 4.843s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 4.998s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.012s | passed |
| testrefactorGoal_directChildren_allRules() | 4.939s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.078s | passed |
| testrefactorGoal_none_allRules() | 5.080s | passed |
| testrefactorGoal_none_ruleSpecific() | 4.974s | passed |
| testrefactorGoal_sequent_allRules() | 4.998s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.010s | passed |
Standard output
187838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 187839 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 255.3ns 187841 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 188088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 188088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 188088 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 189002 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 194475 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.65s 194490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 194490 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 269.7ns 194490 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 199444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199444 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 600.7ns 199444 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 204288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.84s 204288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204288 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.8ns 204288 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209285 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 209300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 209300 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 217.7ns 209300 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214225 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s 214240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 214240 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 629.8ns 214240 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 219147 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 219162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 219162 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.9ns 219162 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 224115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.95s 224115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 224115 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 460.7ns 224115 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 229089 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 229089 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 918ns 229104 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.15s 234264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234264 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.4ns 234264 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 239258 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 239258 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 231.3ns 239273 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 244286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244286 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 597.7ns 244286 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 249284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 249284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 191.1ns 249284 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 254283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 254283 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 561.7ns 254283 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 259368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 259368 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.1ns 259368 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 264393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 264393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 264393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.1ns 264393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 269457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 269473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 269473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 612.5ns 269488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 274553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 274553 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 274553 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 219.7ns 274569 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 279539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279539 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 659ns 279539 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 284415 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.88s