#!/bin/bash -

source functions

# Title.
export title="qemu’s range_size()"

# History.
remember 'cat snippets/range_size-good.c'
remember 'frama-c -wp -wp-rte snippets/range_size-good.c'

terminal