TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 4.921s | passed |
| testGetTermLabelManager() | 0.001s | passed |
| testInstantiateLabels_applicationTermPolicies() | 4.946s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.053s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.218s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.486s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.988s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.022s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.003s | passed |
| testInstantiateLabels_updates_allRules() | 4.940s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.032s | passed |
| testParseLabel() | 5.039s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.003s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.070s | passed |
| testrefactorGoal_directChildren_allRules() | 5.048s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.978s | passed |
| testrefactorGoal_none_allRules() | 4.998s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.018s | passed |
| testrefactorGoal_sequent_allRules() | 4.999s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 4.971s | passed |
Standard output
189549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 189549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 707.01ns 189550 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 190011 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 190013 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 190014 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 190017 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 191107 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 197026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.48s 197032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 197032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 147.4ns 197033 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202245 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 202250 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 202250 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 182.9ns 202251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207284 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 207290 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 207291 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 603.81ns 207292 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 212348 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.06s 212360 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 212361 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 189.5ns 212362 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 217398 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.04s 217408 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 217408 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.4ns 217409 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 222457 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.05s 222462 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 222462 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 225.4ns 222463 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227461 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 227466 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 227467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 543.71ns 227473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 232476 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5s 232485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 232485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 174.6ns 232486 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 237512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.03s 237516 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 237516 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211ns 237517 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 242477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.96s 242487 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 242487 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166.1ns 242488 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 247423 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 247427 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 247427 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.5ns 247428 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 252410 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 252431 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 252431 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 647.21ns 252433 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257424 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 257436 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 257437 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 683.11ns 257438 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262379 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.94s 262383 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 262383 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 173.1ns 262384 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267401 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.02s 267405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 267405 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 134.61ns 267405 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272394 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.99s 272412 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 272412 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 214.4ns 272413 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 277382 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.97s 277391 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 277391 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.91ns 277392 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 282375 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.98s 282378 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src/test/resources/testcase/termLabels/flatSteps/FlatSteps.java 282378 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 113.2ns 282379 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 287295 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.92s