#!/bin/sh
# DF-0604 build script
# Builds the race trigger (C harness) and code-level proof
set -e

echo "Building race_churn (live cross-CPU race trigger)..."
cc -O2 -o race_churn race_churn.c
echo "  -> race_churn"

echo "Building race_proof (code-level race pattern proof)..."
cc -O2 -pthread -o race_proof race_proof.c
echo "  -> race_proof"

echo "Done."