<|file_name|>test.py<|end_file_name|><｜fim▁begin｜>from test_support import *
<｜fim▁hole｜>prove_all(prover=["plop"], opt=["--why3-conf=test.conf"])<｜fim▁end｜>
# this test calls a prover which is correctly configured but whose execution
# gives an error (here: the prover executable doesn't exist). The intent is to
# test the output of gnatprove in this specific case
