Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / aconjunctive_mu / run_cool.sh @ a80babbf

History | View | Annotate | Download (142 Bytes)

1
#!/bin/sh
2

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

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