Halmos Logs Scraper

This tool allows to scrape halmos logs for broken properties repros

Paste your raw halmos logs, and the tool will generate foundry repros for you

NOTE: You must pass -vv verbosity and clean the logs with ansifilter or it won't work!

e.g halmos --contract HalmosDirect -vv | ansifilter > out.txt

NOTE: Struct definitions are not supported yet, just fix the import and Struct Type Name!