We need a test suite automatically run by CI, and also extensive test cases to detect regressions. I think it makes sense to include `example.v` in it.
We need a test suite automatically run by CI, and also extensive test cases to detect regressions. I think it makes sense to include
example.vin it.