CMD: FRAMAC_PLUGIN=tests/.empty @frama-c@