2020-frama-c/6500-strlen.term

   1 #!/bin/bash -
   2
   3 source functions
   4
   5 # Title.
   6 export title="last_char()"
   7
   8 # History.
   9 remember 'cat snippets/last_char.c'
  10 remember 'frama-c -wp -wp-rte snippets/last_char.c'
  11 remember 'less /usr/share/frama-c/libc/string.h'
  12 remember 'less /usr/share/frama-c/libc/__fc_string_axiomatic.h'
  13
  14 terminal