[Feature Request] integration with HAROS #3
Description
The project HAROS: https://github.com/git-afsantos/haros
wraps other static analysis tools. It might be useful to have Phys integration as an option.
{{ message }}
The project HAROS: https://github.com/git-afsantos/haros
wraps other static analysis tools. It might be useful to have Phys integration as an option.