#!/bin/sh

rm challenge
rm response
rm new_challenge
rm challenge_old
rm response_old

cargo run --release --bin new_constrained
cargo run --release --bin compute_constrained
cargo run --release --bin verify_transform_constrained

mv challenge challenge_old
mv response response_old

mv new_challenge challenge
cargo run --release --bin beacon_constrained
cargo run --release --bin verify_transform_constrained