Arkadiusz Kozdra
Arkadiusz Kozdra
Note that your last test case is not failing because of clocking blocks, but because of accessing virtual interface variables through modports. A workaround would be to access them directly...
I do not have it planned for the moment. @WisniewskiP if you want to start some work on it, you can refer to IEEE 1800-2023 9.6.2, and it might be...
In SMT-LIB language, there is `get-unsat-core` command, which might be helpful in a potential implementation.
As for the `soft` syntax error, this is a limitation of our parsing, as there is a parser conflict between `expr: expr "->" expr` and `constraint_expr: expr "->" constraint_expr |...