Project

General

Profile

Statistics
| Branch: | Revision:

cool / benchmarks / aconjunctive_mu / run_mlsolver.sh @ a80babbf

History | View | Annotate | Download (138 Bytes)

1
#!/bin/sh
2

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

    
5
mlsolver "${@:3}" "$(../../aconjunctive_mu_generator.native mlsolver $1 $2)"