TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.283s | passed |
| testGetTermLabelManager() | 0.006s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.310s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.642s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.833s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 6.996s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.423s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.266s | passed |
| testInstantiateLabels_null() | 0s | passed |
| testInstantiateLabels_taclet() | 3.495s | passed |
| testInstantiateLabels_updates_allRules() | 3.409s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.361s | passed |
| testParseLabel() | 4.002s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.314s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 4.063s | passed |
| testrefactorGoal_directChildren_allRules() | 4.283s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.452s | passed |
| testrefactorGoal_none_allRules() | 3.300s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.251s | passed |
| testrefactorGoal_sequent_allRules() | 3.282s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.439s | passed |
Standard output
138822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 138822 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 451.8ns 138822 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 139369 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 139369 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 139369 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 139369 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 140854 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 145794 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 6.98s 145809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 145809 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 220.8ns 145809 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 149628 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.82s 149643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 149643 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.5ns 149643 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 153645 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4s 153660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 153660 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 743.3ns 153660 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157694 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.03s 157709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157709 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 184.5ns 157709 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 4.27s 161993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161993 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.8ns 161993 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 165635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.63s 165635 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 165635 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 696.1ns 165791 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 169137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.35s 169137 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 169137 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 630.3ns 169153 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 172389 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 172404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 172404 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 322.5ns 172404 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 175734 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.34s 175750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 175750 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 578.8ns 175750 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 179190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 179190 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 179190 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 166ns 179206 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 182599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182599 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 294.5ns 182599 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185866 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s 185882 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185882 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 196.8ns 185897 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 189196 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 189212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 189212 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 642.8ns 189212 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192512 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.3s 192528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192528 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 292.3ns 192528 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195764 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.24s 195779 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195779 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 4.65ms 195795 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199064 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.28s 199080 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199080 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 539.9ns 199095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202519 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 202534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 202534 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 284.8ns 202534 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 205958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 205958 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 512.2ns 205958 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 209241 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.27s