Add support for generating C benchmarks.

Author: wuestholz

generate-benchmarks.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+BID=0
+RANDOM=$(date +%s)
+rm -rf generated-benchmarks
+mkdir generated-benchmarks
+while [ "$BID" -lt "$DAEDALUZZ_NUM_BENCHMARKS" ]; do
+    SEED=$(od -vAn -N4 -tu4 < /dev/urandom | sed -e 's/^[[:space:]]*//' -e 's/[[:space:]]*$//')
+    SEED=$((SEED % 9223372036854775808))
+    FILE_NAME="generated-benchmarks/maze-$BID-$SEED.c"
+    DAEDALUZZ_SEED=$SEED DAEDALUZZ_OUTPUT_FILE_NAME=$FILE_NAME DAEDALUZZ_STATEFUL=1 ./daedaluzz
+    BID=$((BID + 1))
+done