Skip to content

Run original assertions during symbolic verification and validate generated harnesses - #1

Draft
KryptosAI wants to merge 3 commits into
mainfrom
codex/counterflow-original-test-verification
Draft

Run original assertions during symbolic verification and validate generated harnesses#1
KryptosAI wants to merge 3 commits into
mainfrom
codex/counterflow-original-test-verification

Preserve native contract creation when running Foundry with Halmos

af7cf07
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar