Lancement de process ProVerif

Bonjour à tous

J'ai un problème d'appel système avec la liste des arguments .===> L'appel est bloquant (stdout et le stderr)

gruinda@gruinda-LIFEBOOK-AH532:~/Infothèque/S3/exposé/Compressed/proverif_editor$ ./editor.py
Traceback (most recent call last):
File "./editor.py", line 378, in do_execute
output = subprocess.Popen(["proverif", "-in", "pi", filename], stdout=subprocess.PIPE).communicate()[0]
File "/usr/lib/python2.7/subprocess.py", line 710, in __init__
errread, errwrite)
File "/usr/lib/python2.7/subprocess.py", line 1327, in _execute_child
raise child_exception
OSError: [Errno 2] No such file or directory

Merci d'avance ;)

Salut,

Lorsque vous récupérez une application telle que Proverif sur Internet, pourquoi ne pas commencer par lire le "user manual". Il doit expliquer comment la lancer! Sinon si on veut comprendre ce qu'il se passe, côté Python, il faut pouvoir lire les sources et pour çà savoir où vous avez bien pu charger cette application.

- W