Package | Description |
---|---|
org.key_project.util.testcategories |
This file defines the different test categories.
|
Modifier and Type | Interface and Description |
---|---|
interface |
Performance
Tests for performance regression measuring.
|
Copyright © 2003-2019 The KeY-Project.