domains / families / data / fizz-convert

fizz-convert

separate

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".

When to use

• convert properties
• implement properties from PROPERTIES.md
• convert PROPERTIES.md to Solidity
• fizz-convert

When not to use

• modifying [x] properties
• flipping [x] to other states automatically
• processing [-] properties without manual flip

Skill page

Source