#!/bin/bash -

source functions

# Title.
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