This release contains a hotfix for the SMT check. The check did not yield the expected results, now it does.
Grab the latest release here: https://codeberg.org/rtcqs/rtcqs/releases/tag/v0.6.6
This release contains a hotfix for the SMT check. The check did not yield the expected results, now it does.
Grab the latest release here: https://codeberg.org/rtcqs/rtcqs/releases/tag/v0.6.6