GaloisInc
diff --git a/‎heapster-saw/examples/Makefile
+3 b/‎heapster-saw/examples/Makefile
+3
diff --git a/‎heapster-saw/examples/_CoqProject
+2 b/‎heapster-saw/examples/_CoqProject
+2
diff --git a/‎heapster-saw/examples/mbox.bc
26.6 KB b/‎heapster-saw/examples/mbox.bc
26.6 KB
@@ -55,3 +55,6 @@ rust_lifetimes.v: rust_lifetimes.bc rust_lifetimes.saw
 
 clearbufs.v: clearbufs.bc clearbufs.saw clearbufs.sawcore
 	$(SAW) clearbufs.saw
+
+mbox.v: mbox.bc mbox.saw
+	$(SAW) mbox.saw
@@ -25,3 +25,5 @@ rust_lifetimes_proofs.v
 arrays.v
 clearbufs.v
 clearbufs_proofs.v
+mbox.v
+mbox_proofs.v