CMD: @frama-c@ -wp -wp-no-filter -wp-proof none -wp-print -wp-check -wp-share ./share -wp-log shell
OPT: