Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / aconjunctive_mu / run_cool_pgsolver.sh @ a80babbf

History | View | Annotate | Download (329 Bytes)

1
#!/bin/sh
2

    
3
# Wrapper to run cool with pgsolver support with input from gen.ml
4

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

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