IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

Python Discussion :

Lancement de process ProVerif


Sujet :

Python

Vue hybride

Message précédent Message précédent   Message suivant Message suivant
  1. #1
    Membre actif
    Homme Profil pro
    Étudiant
    Inscrit en
    Septembre 2012
    Messages
    19
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : Algérie

    Informations professionnelles :
    Activité : Étudiant

    Informations forums :
    Inscription : Septembre 2012
    Messages : 19
    Par défaut 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

  2. #2
    Expert éminent
    Homme Profil pro
    Architecte technique retraité
    Inscrit en
    Juin 2008
    Messages
    21 741
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Localisation : France, Manche (Basse Normandie)

    Informations professionnelles :
    Activité : Architecte technique retraité
    Secteur : Industrie

    Informations forums :
    Inscription : Juin 2008
    Messages : 21 741
    Par défaut
    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
    Architectures post-modernes.
    Python sur DVP c'est aussi des FAQs, des cours et tutoriels

Discussions similaires

  1. Lancement plusieurs process RMID en parallèle
    Par EvAyla dans le forum Général Java
    Réponses: 0
    Dernier message: 14/11/2011, 11h48
  2. Genio engine et lancement de process
    Par Soulghard dans le forum OTIC (ex-Genio)
    Réponses: 1
    Dernier message: 02/09/2010, 10h52
  3. Réponses: 10
    Dernier message: 11/06/2009, 14h25
  4. Réponses: 6
    Dernier message: 04/06/2008, 23h11
  5. [Système] Probleme de lancement de Process
    Par Zapan dans le forum API standards et tierces
    Réponses: 2
    Dernier message: 27/01/2006, 07h47

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo