On Thu, 2 Jan 2025, Andi Kleen wrote:
Krister Walfridsson via Gcc writes:
But running smtgcc on the test suite is not the best use case for the
tool -- it only detects bugs where the test triggers an unrelated bug
compared to what the test is checking, which should be uncommon. I
therefore pla
Krister Walfridsson via Gcc writes:
> But running smtgcc on the test suite is not the best use case for the
> tool -- it only detects bugs where the test triggers an unrelated bug
> compared to what the test is checking, which should be uncommon. I
> therefore plan to start testing by compiling r
