CMD: @frama-c@ -no-autoload-plugins -load-module wp -wp -wp-prover none -wp-print -wp-check -wp-share ./share -wp-msg-key shell
OPT:
