diff options
Diffstat (limited to 'scripts/new_abc_commands.py')
| -rw-r--r-- | scripts/new_abc_commands.py | 7 |
1 files changed, 7 insertions, 0 deletions
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 |