Spaces:
Running
Running
Download source/teaql-ts/scripts/verify-checker-overlap.sh from teaql/browser-sqlite-playground: direct link, hf CLI and curl.
- Browser
- Download file 953 Bytes
-
https://huggingface.co/spaces/teaql/browser-sqlite-playground/resolve/main/source/teaql-ts/scripts/verify-checker-overlap.sh
- Command line
-
hf download hf://spaces/teaql/browser-sqlite-playground/source/teaql-ts/scripts/verify-checker-overlap.sh
-
curl -L -o verify-checker-overlap.sh https://huggingface.co/spaces/teaql/browser-sqlite-playground/resolve/main/source/teaql-ts/scripts/verify-checker-overlap.sh
953 Bytes
| set -euo pipefail | |
| repo="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" | |
| evidence="${TEAQL_TRACE_CHAIN_CHECKER_EVIDENCE:-$(mktemp -d /tmp/teaql-ts-checker-overlap.XXXXXX)}" | |
| mkdir -p "$evidence" | |
| evidence="$(cd "$evidence" && pwd)" | |
| database="${TEAQL_TRACE_CHAIN_CHECKER_DB:-$evidence/checker.sqlite}" | |
| export TEAQL_TRACE_CHAIN_CHECKER_EVIDENCE="$evidence" | |
| export TEAQL_TRACE_CHAIN_CHECKER_DB="$database" | |
| # file: dependencies execute dist. Rebuild without installing packages or | |
| # resetting data, then replay both modes/orderings against one retained DB. | |
| (cd "$repo" && npm run build) > "$evidence/runtime-build.log" 2>&1 | |
| (cd "$repo/examples/trace-chain" && npm run build) > "$evidence/app-build.log" 2>&1 | |
| for attempt in 1 2; do | |
| TEAQL_TRACE_CHAIN_CHECKER_RUN="attempt-$attempt" \ | |
| bash "$repo/scripts/run-checker-overlap.sh" "$evidence/attempt-$attempt.log" | |
| done | |
| printf 'PASS: retained Checker overlap evidence %s\n' "$evidence" | |