Package de.uka.ilkd.key.rule.inst
|
0%
successful |
Failed tests
- TestGenericSortInstantiations. testGeneric1()
- TestGenericSortInstantiations. testGeneric2()
- TestGenericSortInstantiations. testGeneric2Array()
- TestGenericSortInstantiations. testGeneric3()
- TestGenericSortInstantiations. testGeneric4()
- TestGenericSortInstantiations. testGeneric5()
- TestGenericSortInstantiations. testGeneric6()
- TestGenericSortInstantiations. testNullsort()
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| TestGenericSortInstantiations | 8 | 8 | 0 | 0.031s | 0% |