Project

General

Profile

Revision a80babbf benchmarks/aconjunctive_mu/run_cool_pgsolver.sh

View differences:

benchmarks/aconjunctive_mu/run_cool_pgsolver.sh
5 5
# Expects that a directory called "cool-pgsolver" with the right branch checked
6 6
# out at the same level of the root directory of this source tree.
7 7

  
8
../../gen.native cool $1 $2 | exec ../../../cool-pgsolver/coalg.native "${@:3}"
8
../../aconjunctive_mu_generator.native cool $1 $2 | exec ../../../cool-pgsolver/coalg.native "${@:3}"

Also available in: Unified diff