summaryrefslogtreecommitdiffstats
path: root/scripts/bmc2.sh
blob: 3e9d9566c68bb3dc329b9f31696ffa578fe98024 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/bin/sh

abc_root()
{
    cwd="$(pwd)"
    cd $(dirname "$1")
    echo $(dirname "$(pwd)")
    cd "${cwd}"
}

abc_dir=$(abc_root "$0")
bin_dir="${abc_dir}"/bin
aig_file="$1"

exec ${bin_dir}/abc -c "/rf ${aig_file} ; /pushredirect ; /pushdtemp ; bmc2 ; /popdtemp ; /popredirect ; /print_aiger_result"