Project

General

Profile

Revision a80babbf benchmarks/aconjunctive_mu/run_cool.sh

View differences:

benchmarks/aconjunctive_mu/run_cool.sh
2 2

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

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

Also available in: Unified diff