TestTermLabelManager
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testGetSupportedTermLabelNames() | 5.538s | passed |
| testGetTermLabelManager() | 0.005s | passed |
| testInstantiateLabels_applicationTermPolicies() | 5.306s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_allRules() | 5.661s | passed |
| testInstantiateLabels_childAndGrandchildPolicies_ruleSpecific() | 5.516s | passed |
| testInstantiateLabels_directChildPolicies_allRules() | 7.668s | passed |
| testInstantiateLabels_directChildPolicies_ruleSpecific() | 5.390s | passed |
| testInstantiateLabels_modalityTermPolicies() | 5.454s | passed |
| testInstantiateLabels_null() | 0.001s | passed |
| testInstantiateLabels_taclet() | 5.625s | passed |
| testInstantiateLabels_updates_allRules() | 5.406s | passed |
| testInstantiateLabels_updates_ruleSpecific() | 5.488s | passed |
| testParseLabel() | 5.363s | passed |
| testrefactorGoal_childrenAndGrandchildren_allRules() | 5.396s | passed |
| testrefactorGoal_childrenAndGrandchildren_ruleSpecific() | 5.610s | passed |
| testrefactorGoal_directChildren_allRules() | 5.634s | passed |
| testrefactorGoal_directChildren_ruleSpecific() | 5.405s | passed |
| testrefactorGoal_none_allRules() | 5.406s | passed |
| testrefactorGoal_none_ruleSpecific() | 5.542s | passed |
| testrefactorGoal_sequent_allRules() | 5.433s | passed |
| testrefactorGoal_sequent_ruleSpecific() | 5.516s | passed |
Standard output
204950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 204950 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 299.3ns 204950 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 205325 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 205325 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 205325 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 205325 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for Meta 206489 DEBUG Test worker d.u.i.k.j.TypeConverter No LDT found for JavaBigintExpression 212605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 7.65s 212605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 212605 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 277.9ns 212605 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 218106 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 218122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 218122 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 233ns 218122 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 223470 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 223485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 223485 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 326.8ns 223485 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 229079 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.59s 229095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 229095 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 652.2ns 229095 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 234715 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.62s 234731 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 234731 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 705.4ns 234746 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 240377 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.64s 240393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 240393 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 823.3ns 240393 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 246015 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.61s 246022 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 246023 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 1.32ms 246030 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 251546 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s 251562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 251562 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 526.9ns 251562 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 257050 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.48s 257066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 257066 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 204.1ns 257066 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 262567 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.5s 262583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 262583 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 743.6ns 262583 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 267974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.39s 267974 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 267974 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 2.12ms 267989 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 273392 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.41s 273407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 273407 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 276ns 273407 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 278772 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.36s 278803 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 278803 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 201.9ns 278819 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 284116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.3s 284116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 284116 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 240.5ns 284116 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 289556 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.44s 289571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 289571 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 333.2ns 289571 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 294977 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.4s 294992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 294992 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 653.6ns 294992 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 300369 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 300385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 300385 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 213.8ns 300385 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 305760 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.38s 305775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Loading environment from src\test\resources\testcase\termLabels\flatSteps\FlatSteps.java 305775 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Environment load took 610.7ns 305775 INFO Test worker d.u.i.k.p.i.AbstractProblemLoader Creating init config 311311 DEBUG Test worker d.u.i.k.p.i.AbstractProblemLoader Init config took 5.53s