Package | Description |
---|---|
org.key_project.util.testcategories |
This file defines the different test categories.
|
Class and Description |
---|
Slow
Category for slow test cases, that should only
consider on Jenkins (merge request and master).
|
Copyright © 2003-2019 The KeY-Project.