.. aura-wrapper.sh check-arch.sh check-domain-fact-contract.sh check-quint-rust-types.sh check-tui-itf-trace.sh gen-tui-itf-trace.sh generate-itf-traces.sh run-kani-suite.sh verification-coverage.sh