ptest doesn't abort tests for which the command is incorrect (#909) · Issues · pub / frama-c