Skip to content

v0.5.6 recon#1

Open
aviggiano wants to merge 26 commits intomainfrom
v0.5.6-recon
Open

v0.5.6 recon#1
aviggiano wants to merge 26 commits intomainfrom
v0.5.6-recon

Conversation

@aviggiano
Copy link
Collaborator

Adjust for fuzzbench

test(recon): add immediate canary assertion + global invariant failures
…gnment

config(echidna): align assertion prefix with SKILL directive
…liance

test(recon): align assertion naming with exact ASSERTION_* suffixes
test(recon): normalize assertion/canary naming for scfuzzbench compliance
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant