I would vote that if someone wants to improve the testing infrastructure for coreir that we use a similar approach, but I'm also open to other frameworks. https://github.com/catchorg/Catch2 is a simpler, lighterweight option that I considered. It looks like the simulator is already using this, so that's another viable option that I would support.
I setup
gtest
to handle testing https://github.com/leonardt/verilogAST-cpp, it was really simple to integrate into a cmake based workflow.Here's some references I used:
Here are some example files to work off of:
I would vote that if someone wants to improve the testing infrastructure for coreir that we use a similar approach, but I'm also open to other frameworks. https://github.com/catchorg/Catch2 is a simpler, lighterweight option that I considered. It looks like the simulator is already using this, so that's another viable option that I would support.