Fix z3.

[libguestfs-talks.git] / 2020-frama-c / 4500-range-size-2.term

diff --git a/2020-frama-c/4500-range-size-2.term b/2020-frama-c/4500-range-size-2.term
index 7c4b874..ecef5b8 100755 (executable)
--- a/2020-frama-c/4500-range-size-2.term
+++ b/2020-frama-c/4500-range-size-2.term
@@ -8,5 +8,6 @@ export title="qemu’s range_size()"
 # History.
 remember 'cat snippets/range_size.c'
 remember 'frama-c -wp -wp-rte snippets/range_size.c'
+remember 'frama-c -wp -wp-rte snippets/range_size.c -wp-prover alt-ergo,why3:z3-ce'
 
 terminal