Permalink
Fetching contributors…
Cannot retrieve contributors at this time
5 lines (3 sloc) 129 Bytes
CHECK( init(main()), LTL(G valid-free) )
CHECK( init(main()), LTL(G valid-deref) )
CHECK( init(main()), LTL(G valid-memtrack) )