Loading listing…
fizz-convert
Security scan passedConvert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the e…
Part of Pashov Audit Group SkillsPack · 5 skills
What fizz-convert does
About
Convert English-language properties in PROPERTIES.md (produced by the Fizz skill) into Solidity assertions inside the existing fuzz harness, then flip their checkboxes. Trigger on "fizz-convert", "convert properties", "implement properties from PROPERTIES.md", "convert PROPERTIES.md to Solidity".