Help debug a SMT solver compile error

[ved-rivos]

This is due to code I added, but I am at a loss as to how to solve this.
What could cause this error, and how can I debug it?

Error:
SMT solver returned unexpected status 1
make[2]: *** [model/CMakeFiles/generated_sail_riscv_model.dir/build.make:221: sail_riscv_model.cpp] Error 1
make[1]: *** [CMakeFiles/Makefile2:589: model/CMakeFiles/generated_sail_riscv_model.dir/all] Error 2
make: *** [Makefile:166: all] Error 2

This is the code I added is in this PR: #379

[Alasdair]

Responding to the last PR comment, if you don't want to modify the CMake, you should be able to do something like SAIL_FLAGS="--dsmt-verbose".