diff --git a/run_sorting b/run_sorting index 55f6c3c3..0e0ce50f 100755 --- a/run_sorting +++ b/run_sorting @@ -1,50 +1,14 @@ #!/bin/bash set -euxo pipefail -# Prep -( - ( - cd ceno/examples - cargo build --release --example=quadratic_sorting - ) - ( - cd ceno - cargo build --release --bin e2e - ) - - mkdir --parents sorting-output/ceno - mkdir --parents sorting-output/sp1 -) - -( - cd sorting/program - cargo prove build -) export MAX=12000 # export MAX="$((1 << 14))" for N in $(shuf --input-range=1-${MAX}); do for system in $(shuf --echo ceno sp1); do - output="sorting-output/${N}-$(date --iso-8601=ns --utc)/${system}" + output="$(realpath --canonicalize-missing "sorting-output/${N}-$(date --iso-8601=ns --utc)/${system}")" mkdir --parents "${output}" ./run_${system}_sorting "${N}" "${output}" done - done - -output="output_time" - -( - cd sorting/script - - # export RUSTFLAGS="-C target-cpu=native -C target-feature=+avx512f" - # export RUSTFLAGS="-C target-cpu=native" - export RUST_LOG=info - # cargo clean - cargo build --release --bin sorting - /usr/bin/time --verbose --output="${output}" -- cargo run --release -- --n=$N --prove - echo "RUSTFLAGS=\'${RUSTFLAGS:-}\'" - echo "N=\'${N}'" - cat "${output}" -)