Search results

Make regression tests work when cvc5 is not available

Tests

work in progress

Status: Draft (not ready).

diffblue/cbmcnumber 8214

#8214 In diffblue/cbmc;

· tautschnig opened on Feb 20, 2024

Fix goto-symex' auto-objects feature

Tests

Status: Open (in progress).

diffblue/cbmcnumber 7177

#7177 In diffblue/cbmc;

· tautschnig opened on Sep 30, 2022

[RFC] Two new failing tests demonstrating updates outside member bounds

RFCRequest for commentRequest for comment

Tests

Status: Draft (not ready).

diffblue/cbmcnumber 6101

#6101 In diffblue/cbmc;

· tautschnig opened on May 10, 2021