It would probably be a good idea to switch to using LLVM's lit tool to run regressions (https://llvm.org/docs/CommandGuide/lit.html), the same way Boogie does.
I am kind of familiar with it now, and so I can make this switch if others are ok with it.
We would add a dependency on lit, but lit is super easy to install using Python's pip package manager.
It would probably be a good idea to switch to using LLVM's lit tool to run regressions (https://llvm.org/docs/CommandGuide/lit.html), the same way Boogie does.
I am kind of familiar with it now, and so I can make this switch if others are ok with it.
We would add a dependency on lit, but lit is super easy to install using Python's pip package manager.