From 5f5e48d937849f139fa41d14f8e77ee741449bff Mon Sep 17 00:00:00 2001 From: Kukovec Date: Wed, 21 Jun 2023 14:00:18 +0200 Subject: [PATCH] Bugfix notes --- .unreleased/bug-fixes/2606.md | 1 + 1 file changed, 1 insertion(+) create mode 100644 .unreleased/bug-fixes/2606.md diff --git a/.unreleased/bug-fixes/2606.md b/.unreleased/bug-fixes/2606.md new file mode 100644 index 0000000000..b6fd703993 --- /dev/null +++ b/.unreleased/bug-fixes/2606.md @@ -0,0 +1 @@ +Fixed a bug in pointer propagation, where sets cherrypicked from a powerset would always have the exact same pointers as the base set, instead of some subset thereof (though SMT constraints were added correctly). This broke counterexample reconstruction. See #2606 \ No newline at end of file