Project

General

Profile

Revision a80babbf benchmarks/aconjunctive_mu/run_mlsolver.sh

View differences:

benchmarks/aconjunctive_mu/run_mlsolver.sh
2 2

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

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

Also available in: Unified diff