TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.118s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.242s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.140s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.391s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 4.458s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.113s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.109s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.171s | passed |
| testInstantiateLabels_updates_allRules() | 3.123s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.173s | passed |
| testParseLabel() | 3.247s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.167s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.188s | passed |
| testrefactorGoal_directChildren_allRules() | 3.193s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.141s | passed |
| testrefactorGoal_none_allRules() | 3.151s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.156s | passed |
| testrefactorGoal_sequent_allRules() | 3.120s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.244s | passed |
Standard output
122189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 122189 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.4ns 122189 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 122361 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122361 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122361 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 122361 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 123095 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 126641 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.45s 126656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 126656 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 535.3ns 126656 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 130032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.38s 130032 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 130032 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 266.6ns 130048 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 133279 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 133294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 133294 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 205.4ns 133294 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 136467 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 136482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 136482 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 190.4ns 136482 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139646 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 139661 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 139661 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 523.7ns 139677 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 142802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 142802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 142802 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 515.7ns 142802 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 145973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.16s 145973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145973 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 827.7ns 145973 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149114 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 149129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149129 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.45ms 149129 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 152304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.17s 152304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 152304 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 159.8ns 152304 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 155533 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 155548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 155548 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 170.8ns 155548 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 158672 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s 158688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 158688 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 521.5ns 158688 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161793 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.11s 161809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 168.4ns 161809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164944 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.14s 164960 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164975 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 676.7ns 164975 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.23s 168209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168209 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 235.4ns 168209 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 171319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.6ns 171319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174454 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 174470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 765.8ns 174470 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 177598 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.13s 177613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 177613 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 207.4ns 177613 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 180711 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.1s 180727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 180727 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 924.2ns 180727 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 183846 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.12s