TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.438s | passed |
| testGetTermLabelManager() | 0.003s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.560s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.564s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.693s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 8.334s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.499s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.474s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.552s | passed |
| testInstantiateLabels_updates_allRules() | 5.529s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.876s | passed |
| testParseLabel() | 5.627s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.541s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.844s | passed |
| testrefactorGoal_directChildren_allRules() | 5.474s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.552s | passed |
| testrefactorGoal_none_allRules() | 5.476s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.892s | passed |
| testrefactorGoal_sequent_allRules() | 5.454s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.636s | passed |
Standard output
213472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.6ns 213472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 214080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 214080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 214080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 214080 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 215425 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 221786 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 8.32s 221802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 221802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 311.5ns 221802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 227495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.68s 227495 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 227495 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 287.3ns 227511 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s 233125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 233125 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.2ns 233125 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 238954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.82s 238985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 238985 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 209.9ns 238985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244430 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.45s 244445 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244445 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.09ms 244461 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 250010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.56s 250010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 250010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 232.9ns 250025 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 255547 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 255562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 255562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 664.6ns 255562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 261252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.69s 261472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 261472 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.58ms 261472 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267317 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.85s 267473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 267473 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 312.2ns 267473 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 272954 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 272969 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 272969 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 227ns 272985 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 278498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 278498 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 278498 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.11ms 278514 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 283936 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.43s 283952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 283952 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.7ns 283952 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 289477 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.52s 289493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 289493 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 242.3ns 289493 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 295050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.55s 295058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 295058 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 375ns 295058 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 300533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 300549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 300549 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 254.1ns 300549 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 306010 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.46s 306010 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 306026 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.7ns 306026 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 311550 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 311565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 311565 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 581.7ns 311565 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 317065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.49s 317065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 317065 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 821.2ns 317065 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 322500 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.42s