#!/bin/sh
# Call alt-ergo directly

frama-c							\
	-pp-annot					\
	-no-unicode					\
	-wp						\
	-wp-rte						\
	-warn-unsigned-overflow				\
	-warn-unsigned-downcast				\
	-wp-model Typed+ref				\
	-wp-prop xxx					\
	-wp-prover alt-ergo				\
	-wp-timeout 10					\
	-wp-steps 10000					\
	-wp-par 1					\
	-wp-out search_n_standalone.wp_direct		\
	search_n_standalone.c

exit