Test Summary
|
0%
successful |
Failed tests
- RunAllProofsFunctional. list
- RunAllProofsFunctional. list_ghost
- RunAllProofsFunctional. list_recursive
- RunAllProofsFunctional. list_seq
- RunAllProofsFunctional. observer
- RunAllProofsFunctional. removeDups
- RunAllProofsFunctional. quicksort
- RunAllProofsFunctional. simpleTests
- RunAllProofsFunctional. SmansEtAl
- RunAllProofsFunctional. VACID0
- RunAllProofsFunctional. newBook
- RunAllProofsFunctional. VSTTE10
- RunAllProofsFunctional. WeideEtAl
- RunAllProofsFunctional. arithmetic
- RunAllProofsFunctional. arrays
- RunAllProofsFunctional. javadl
- RunAllProofsFunctional. FOL
- RunAllProofsFunctional. strings
- RunAllProofsFunctional. simple_info_flow
- RunAllProofsFunctional. modelMethods
- RunAllProofsFunctional. permissionHeap
- RunAllProofsFunctional. oldBook
- RunAllProofsFunctional. completionScopes
- RunAllProofsFunctional. reload_examples
- RunAllProofsFunctional. proofLoadRepair
- RunAllProofsFunctional. switch
- RunAllProofsFunctional. redux
- RunAllProofsFunctional. comprehensions
- RunAllProofsFunctional. performance
- RunAllProofsFunctional. performancePOConstruction
- RunAllProofsFunctional. applicationRestrictions
- RunAllProofsFunctional. blockContracts
- RunAllProofsFunctional. jmlAsserts
- RunAllProofsFunctional. javaCard
Packages
| Package | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| de.uka.ilkd.key.proof.runallproofs | 34 | 34 | 0 | 7m59.24s | 0% |
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| de.uka.ilkd.key.proof.runallproofs.RunAllProofsFunctional | 34 | 34 | 0 | 7m59.24s | 0% |