#!/bin/bash
# Copyright (c) 2017 Fabian Schuiki
set -e
TESTS_DIR="$(dirname "${BASH_SOURCE[0]}")"
LLHD_SIM="$TESTS_DIR/../target/debug/llhd-sim"
while read -d $'\0' SRCFILE; do
echo "; simulation output of $SRCFILE"
"$LLHD_SIM" "$SRCFILE"
echo
done < <(find $TESTS_DIR -name "*.llhd" -print0)