2020-frama-c/2730-range-size-4.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-good.c'
  10 remember 'frama-c -wp -wp-rte snippets/range_size-good.c'
  11
  12 terminal