Test Summary

Failed tests

• RunAllProofsFunctional. project.key
• RunAllProofsFunctional. project.key#1
• RunAllProofsFunctional. lcp.key
• RunAllProofsFunctional. project.key#2
• RunAllProofsFunctional. ArrayList_contains.key
• RunAllProofsFunctional. ArrayList_get.key
• RunAllProofsFunctional. ArrayList_size.key
• RunAllProofsFunctional. UpdateAbstraction_ex7_3_secure.key
• RunAllProofsFunctional. UpdateAbstraction_ex7_4_secure.key
• RunAllProofsFunctional. UpdateAbstraction_ex7_5_secure.key
• RunAllProofsFunctional. newBook
• RunAllProofsFunctional. UpdateAbstraction_ex7_6_secure.key
• RunAllProofsFunctional. UpdateAbstraction_ex9_secure.key
• RunAllProofsFunctional. list
• RunAllProofsFunctional. list_ghost
• RunAllProofsFunctional. list_recursive
• RunAllProofsFunctional. list_seq
• RunAllProofsFunctional. observer
• RunAllProofsFunctional. removeDups
• RunAllProofsFunctional. Saddleback_search.key
• RunAllProofsFunctional. quicksort
• RunAllProofsFunctional. oldBook
• RunAllProofsFunctional. simpleTests
• RunAllProofsFunctional. SmansEtAl
• RunAllProofsFunctional. VACID0
• RunAllProofsFunctional. VSTTE10
• RunAllProofsFunctional. WeideEtAl
• RunAllProofsFunctional. arithmetic
• RunAllProofsFunctional. arrays
• RunAllProofsFunctional. javadl
• RunAllProofsFunctional. FOL
• RunAllProofsFunctional. strings
• RunAllProofsFunctional. comprehensions
• RunAllProofsFunctional. simple_info_flow
• RunAllProofsFunctional. modelMethods
• RunAllProofsFunctional. permissionHeap
• RunAllProofsFunctional. completionScopes
• RunAllProofsFunctional. reload_examples
• RunAllProofsFunctional. proofLoadRepair
• RunAllProofsFunctional. switch
• RunAllProofsFunctional. redux
• RunAllProofsFunctional. performance
• RunAllProofsFunctional. performancePOConstruction
• RunAllProofsFunctional. applicationRestrictions
• RunAllProofsFunctional. blockContracts
• RunAllProofsFunctional. jmlAsserts

Packages

Classes