Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
tests
tree_sum.v
Find file
Blame
History
Permalink
Correctness proof of imperative summing of a tree.
· 75db3853
Robbert Krebbers
authored
Jun 20, 2016
Fun test case to play arround with abstract predicates.
75db3853