-
./scripts/bootstrap.shandcmake --build build -jsucceed withHBFSIM_ENABLE_CUDA=OFF HBFSIM_ENABLE_MQSIM=ON. -
ctest --test-dir build --output-on-failureis green, or every new failure is explained above. -
python3 scripts/check_doc_links.pyreports zero broken links. - No number is claimed that a document under
docs/proofs/does not support. - If this supersedes a published number, the affected proof document says so.