swh:1:snp:aeaf3dbb58f5be84b565e73b5ade1503ee8cb6d6
Tip revision: cda4560576f3b975008fe892fe4fcaaaa71019fe authored by Anish Tondwalkar on 16 March 2020, 20:43:43 UTC
fix tests
fix tests
Tip revision: cda4560
pointersRefs_noalias.ml
let decr x = x := !x - 1
let rec zero r = let n = !r in if n <= 0 then () else (decr r; zero r)
let test n1 n2 = let r1 = ref n1 in
let r2 = ref n2 in
(zero r1 ; zero r2; assert (!r1 = 0); assert (!r2 = 0))