TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.022s | passed |
| testGetTermLabelManager() | 0.004s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.240s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.174s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.133s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.510s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 4.869s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.095s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.210s | passed |
| testInstantiateLabels_updates_allRules() | 5.075s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.125s | passed |
| testParseLabel() | 5.200s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.262s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.080s | passed |
| testrefactorGoal_directChildren_allRules() | 5.195s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 4.883s | passed |
| testrefactorGoal_none_allRules() | 4.944s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.392s | passed |
| testrefactorGoal_sequent_allRules() | 4.814s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.171s | passed |
Standard output
195329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195329 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 304.3ns 195329 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195751 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 195766 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 195766 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 195766 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 196970 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 202838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.5s 202838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 234.2ns 202838 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 207955 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.11s 207971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 207971 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 251.9ns 207971 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 213156 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 213171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 213171 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 336.7ns 213171 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218236 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 218251 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 218251 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.5ns 218267 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223432 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.17s 223447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223447 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 748.5ns 223447 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 228622 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.18s 228638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 228638 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 697.7ns 228638 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 233833 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.19s 233864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 233864 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.9ms 233864 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 239213 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.35s 239247 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 239248 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 286.5ns 239249 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 244358 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.12s 244374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 244374 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 297.3ns 244374 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 249514 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.14s 249530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 249530 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 252ns 249530 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 254606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.07s 254606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 254606 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.38ms 254606 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 259420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.8s 259420 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 259420 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 180.1ns 259435 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 264668 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.23s 264683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 264683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.8ns 264683 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 269927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.24s 269927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 269927 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 259ns 269927 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 275023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.09s 275023 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 275023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 211.5ns 275039 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 279951 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.91s 279967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 279967 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 575.1ns 279967 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 284838 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 284853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 284853 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.7ns 284853 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 289722 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.87s 289722 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 289737 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 708.3ns 289737 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 294744 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.01s