We have some gtest infrastructure available, but there's problems with the build system and it's not used and integrated into CI. Gtest requires libyosys to be installed, but in the Makefile it depends on libyosys to be built in the build directory (which happens to be repo root currently).
Feature Description
We have some gtest infrastructure available, but there's problems with the build system and it's not used and integrated into CI. Gtest requires libyosys to be installed, but in the Makefile it depends on libyosys to be built in the build directory (which happens to be repo root currently).