2020-frama-c/2300-range-is-empty.term

   1 #!/bin/bash -
   2
   3 source functions
   4
   5 # Title.
   6 export title="qemu’s range_is_empty()"
   7
   8 # History.
   9 remember 'cat snippets/range_is_empty.c'
  10 remember 'frama-c -wp -wp-rte snippets/range_is_empty.c'
  11
  12 terminal