Test Summary
|
44%
successful |
Failed tests
- RunAllProofsFunctional. list
- RunAllProofsFunctional. list_ghost
- RunAllProofsFunctional. list_seq
- RunAllProofsFunctional. observer
- RunAllProofsFunctional. simpleTests
- RunAllProofsFunctional. SmansEtAl
- RunAllProofsFunctional. VSTTE10
- RunAllProofsFunctional. arithmetic
- RunAllProofsFunctional. javadl
- RunAllProofsFunctional. modelMethods
- RunAllProofsFunctional. permissionHeap
- RunAllProofsFunctional. oldBook
- RunAllProofsFunctional. completionScopes
- RunAllProofsFunctional. reload_examples
- RunAllProofsFunctional. switch
- RunAllProofsFunctional. performance
- RunAllProofsFunctional. blockContracts
- RunAllProofsFunctional. jmlAsserts
- RunAllProofsFunctional. javaCard
Packages
| Package | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| de.uka.ilkd.key.proof.runallproofs | 34 | 19 | 0 | 1h24m21.13s | 44% |
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| de.uka.ilkd.key.proof.runallproofs.RunAllProofsFunctional | 34 | 19 | 0 | 1h24m21.13s | 44% |