X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=2020-frama-c%2F4500-range-size-2.term;h=ecef5b85198570b5ee2834890fbfed030054a008;hb=a44fc27c4a4b02ed570dd5567ff8d309b885e904;hp=7c4b874386a097091abda5d988c9c821022ce867;hpb=d52a4ce8b3084bfe5df4a7bd43293d4598a7e64c;p=libguestfs-talks.git

diff --git a/2020-frama-c/4500-range-size-2.term b/2020-frama-c/4500-range-size-2.term
index 7c4b874..ecef5b8 100755
--- 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