20 lines
576 B
Bash
Executable File
20 lines
576 B
Bash
Executable File
#!/usr/bin/env sh
|
|
set -eu
|
|
|
|
tb=${1:?usage: check_determinism.sh /path/to/tb [build-dir]}
|
|
build_dir=${2:-build}
|
|
artifact="$build_dir/task01_notifications/prog.bin"
|
|
reference="$build_dir/determinism-1.log"
|
|
|
|
run_once() {
|
|
output=$1
|
|
"$tb" --bin "$artifact" --cycles 3000000 --cpuret >"$output"
|
|
}
|
|
|
|
run_once "$reference"
|
|
run_once "$build_dir/determinism-2.log"
|
|
run_once "$build_dir/determinism-3.log"
|
|
cmp "$reference" "$build_dir/determinism-2.log"
|
|
cmp "$reference" "$build_dir/determinism-3.log"
|
|
echo "PASS determinism: three clean Hazard3 processes produced identical evidence"
|