TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 3.686s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 3.439s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 3.506s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 3.605s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 5.210s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 3.507s | passed |
| testInstantiateLabels_modalityTermPolicies() | 3.412s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 3.481s | passed |
| testInstantiateLabels_updates_allRules() | 3.456s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 3.419s | passed |
| testParseLabel() | 3.539s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 3.473s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 3.588s | passed |
| testrefactorGoal_directChildren_allRules() | 3.504s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 3.448s | passed |
| testrefactorGoal_none_allRules() | 3.436s | passed |
| testrefactorGoal_none_ruleSpecific() | 3.426s | passed |
| testrefactorGoal_sequent_allRules() | 3.577s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 3.419s | passed |
Standard output
134815 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 134815 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 267.5ns 134831 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 135018 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135018 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135018 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135018 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 135941 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 140028 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.21s 140060 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 140061 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 226.7ns 140061 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 143621 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 143636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 143636 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 478.5ns 143636 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 147175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.54s 147175 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 147175 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 164.6ns 147191 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 150747 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.57s 150763 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 150763 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 161.5ns 150778 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 154252 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.48s 154268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 154268 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 310.5ns 154268 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 157774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.5s 157774 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 157774 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 671.2ns 157790 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 161256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.47s 161256 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 161256 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 479.2ns 161272 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 164683 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.42s 164698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 164698 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.5ns 164698 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 168102 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.4s 168117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 168117 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 186.1ns 168117 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 171505 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.39s 171521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 171521 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 210.9ns 171521 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 174977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.45s 174977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 174977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 483.8ns 174977 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 178538 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.55s 178554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 178554 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.2ns 178554 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 182011 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 182042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 182042 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 199.3ns 182042 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 185471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 185471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 185471 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 124.4ns 185471 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 188883 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 188899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 188899 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 181.9ns 188899 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 192303 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.41s 192319 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 192319 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 583.1ns 192335 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 195751 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.43s 195798 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 195798 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 187.7ns 195814 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 199277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.46s 199277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 199277 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 522.2ns 199277 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 202963 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 3.68s