Skip to content

A
abc
Commit bd9d0752 by Baruch Sterin
Options

pyabc scripts: use -q instead of -c in scripts to prevent echoing the command to the command line.

parent c5a0ce90
Showing with 6 additions and 6 deletions
scripts/multi_prove.sh
......@@ -11,4 +11,4 @@ abc_root()
abc_dir=$(abc_root "$0")
bin_dir="${abc_dir}"/bin
exec ${bin_dir}/abc -c "/multi_prove_aiger $*"
exec ${bin_dir}/abc -q "/multi_prove_aiger $*"
scripts/simple.sh
......@@ -11,4 +11,4 @@ abc_root()
abc_dir=$(abc_root "$0")
bin_dir="${abc_dir}"/bin
exec ${bin_dir}/abc -c "/simple_aiger $*"
exec ${bin_dir}/abc -q "/simple_aiger $*"
scripts/simple_bip.sh
......@@ -11,4 +11,4 @@ abc_root()
abc_dir=$(abc_root "$0")
bin_dir="${abc_dir}"/bin
exec ${bin_dir}/abc -c "/simple_bip_aiger $*"
exec ${bin_dir}/abc -q "/simple_bip_aiger $*"
scripts/simple_liveness.sh
......@@ -11,4 +11,4 @@ abc_root()
abc_dir=$(abc_root "$0")
bin_dir="${abc_dir}"/bin
exec ${bin_dir}/abc -c "/simple_liveness_aiger $*"
exec ${bin_dir}/abc -q "/simple_liveness_aiger $*"
scripts/simple_sat.sh
......@@ -11,4 +11,4 @@ abc_root()
abc_dir=$(abc_root "$0")
bin_dir="${abc_dir}"/bin
exec ${bin_dir}/abc -c "/simple_sat_aiger $*"
exec ${bin_dir}/abc -q "/simple_sat_aiger $*"
scripts/super_prove.sh
......@@ -11,4 +11,4 @@ abc_root()
abc_dir=$(abc_root "$0")
bin_dir="${abc_dir}"/bin
exec ${bin_dir}/abc -c "/super_prove_aiger $*"
exec ${bin_dir}/abc -q "/super_prove_aiger $*"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment