Repository navigation
Release with Halmos support. Extracts as much data as possible (limitation of determining struct names)
Requires using -vv and cleaning characters
e.g. run with
halmos -vv | ansifilter > out.txt
Release with Halmos support. Extracts as much data as possible (limitation of determining struct names)
Requires using -vv and cleaning characters
e.g. run with
halmos -vv | ansifilter > out.txt