flatten/cse_stats_orig.sh at develop · dekker.one/mzn-byte-benchmarks

Repository containing the benchmark experiments for the MiniZinc Bytecode compiler

mzn-byte-benchmarks / flatten / cse_stats_orig.sh

at develop 7 lines 236 B view raw

wrap content

1
2MINIZINC=$HOME/Dropbox/development/minizinc/build/Release/minizinc
3DTRACE=$HOME/Dropbox/development/minizinc/tests/dtrace/cse.d
4
5for i in *.dzn; do
6  $DTRACE -c "${MINIZINC} --solver org.minizinc.mzn-fzn -c $1 $i" > ${i}_orig.txt
7done