#!/bin/bash -

source functions

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

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

terminal