diff options
| author | Baruch Sterin <baruchs@gmail.com> | 2011-10-24 15:21:08 -0700 |
|---|---|---|
| committer | Baruch Sterin <baruchs@gmail.com> | 2011-10-24 15:21:08 -0700 |
| commit | b51ab369225b838cfdf3c90472de8f57702f2b37 (patch) | |
| tree | 41e02b82e998373b11098820e6608aca749190cd /scripts | |
| parent | a6d6a40ff371654b0db2ad31854dfeb2abfb4123 (diff) | |
| download | abc-b51ab369225b838cfdf3c90472de8f57702f2b37.tar.gz abc-b51ab369225b838cfdf3c90472de8f57702f2b37.tar.bz2 abc-b51ab369225b838cfdf3c90472de8f57702f2b37.zip | |
pyabc: minor changes for compeition
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/abc.rc | 4 | ||||
| -rw-r--r-- | scripts/new_abc_commands.py | 7 |
2 files changed, 8 insertions, 3 deletions
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 |