2020-frama-c/2710-range-size-2.term

   1 #!/bin/bash -
   2
   3 source functions
   4
   5 # Title.
   6 export title="qemu’s range_size()"
   7
   8 # History.
   9 remember 'cat snippets/range_size.c'
  10 remember 'frama-c -wp -wp-rte snippets/range_size.c'
  11 remember 'frama-c -wp -wp-rte snippets/range_size.c -wp-prover alt-ergo,why3:z3-ce'
  12
  13 terminal