Commit 16c00e9d authored by Raphael Rieu-Helft's avatar Raphael Rieu-Helft

Update bench

parent f538c7e9
......@@ -226,6 +226,7 @@ goods examples/bitvectors "-L examples/bitvectors"
goods examples/avl "-L examples/avl"
goods examples/verifythis_2016_matrix_multiplication "-L examples/verifythis_2016_matrix_multiplication"
goods examples/double_wp "-L examples/double_wp"
goods examples/ring_decision "-L examples/ring_decision"
goods examples/in_progress
goods examples/in_progress/multiprecision "-L examples/in_progress/multiprecision"
echo ""
......
use import mach.c.C
let main () diverges =
let p = malloc 10 in
c_assert (is_not_null p);
let q = incr p 0_ in
free q;
set p (42:int)
\ No newline at end of file
use import mach.c.C
let main () diverges =
let p = malloc 10 in
c_assert (is_not_null p);
let q = incr p 0 in
let r = realloc p 27 in
c_assert (is_not_null r);
set r (3:int);
set q (42:int)
\ No newline at end of file
use import map.Map
use import mach.c.C
let main () diverges =
let p = malloc 10 in
c_assert (is_not_null p);
let q = incr_split p 5 in
let r = C.incr q 1 in
join p q;
set r (0:int)
\ No newline at end of file
use import map.Map
use import mach.c.C
let main () diverges =
let p = malloc 10 in
c_assert (is_not_null p);
let r = C.incr p 1 in
let _ = incr_split p 5 in
set r (0:int)
\ No newline at end of file
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment