Running FI Tests

Quick Start

cd <repo-root>
make fi

Focused runs

cd edge
GOWORK=off go test -v ./retry -run '^TestFI_C4_03_NoPeriodicReactivation$'
GOWORK=off go test -v ./quota -run '^TestFI_C3_03_AuthorizedPeerFlood$'

Root-required run:

cd <repo-root>
sudo make fi-root

Artifacts

  • /tmp/edge-fi-report/results.jsonl

  • /tmp/edge-fi-report/summary.txt

  • /tmp/edge-fi-report/traceability.md

  • /tmp/edge-fi-report-root/summary.txt (root run)

Evidence

  • Makefile targets: fi, fi-root

  • edge/ci/tests/run_all.sh

  • edge/ci/tests/gen_traceability_report.sh

  • edge/ci/tests/print_proof_summary.py

See Also