From b51ab369225b838cfdf3c90472de8f57702f2b37 Mon Sep 17 00:00:00 2001 From: Baruch Sterin Date: Mon, 24 Oct 2011 15:21:08 -0700 Subject: pyabc: minor changes for compeition --- scripts/abc.rc | 4 +--- scripts/new_abc_commands.py | 7 +++++++ 2 files changed, 8 insertions(+), 3 deletions(-) (limited to 'scripts') diff --git a/scripts/abc.rc b/scripts/abc.rc index c04151da..a39ed76a 100644 --- a/scripts/abc.rc +++ b/scripts/abc.rc @@ -1,7 +1,5 @@ python new_abc_commands.py -python reachx_cmd.py - -load_plugin bip "Bip" +python -c "import reachx_cmd" # global parameters set check # checks intermediate networks diff --git a/scripts/new_abc_commands.py b/scripts/new_abc_commands.py index 83c4d8a3..93956f9c 100644 --- a/scripts/new_abc_commands.py +++ b/scripts/new_abc_commands.py @@ -1,3 +1,4 @@ +import sys import os import pyabc import par @@ -116,6 +117,12 @@ def proof_command_wrapper(prooffunc, category_name, command_name, change): pyabc.run_command('/pushdtemp') try: + for d in os.environ['PATH'].split(':'): + bip = os.path.join(d, 'bip') + if os.path.exists(bip): + pyabc.run_command("load_plugin %s Bip"%bip) + break + basename = os.path.basename( aig_filename ) shutil.copyfile(aig_filename, basename) aig_filename = basename -- cgit v1.2.3