From 18a580c20dec1f554955bf96e8ef0bd30fa18e55 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cs.berkeley.edu>
Date: Fri, 5 Jan 2024 12:37:26 -0500
Subject: [PATCH] with patron fix, we now find an (incorrect) repair for s3

---
 synth/Cargo.lock | 4 ++--
 synth/Cargo.toml | 2 +-
 test.py          | 4 +++-
 3 files changed, 6 insertions(+), 4 deletions(-)

diff --git a/synth/Cargo.lock b/synth/Cargo.lock
index 96b291d..16dd762 100644
--- a/synth/Cargo.lock
+++ b/synth/Cargo.lock
@@ -216,9 +216,9 @@ checksum = "302d7ab3130588088d277783b1e2d2e10c9e9e4a16dd9050e6ec93fb3e7048f4"
 
 [[package]]
 name = "libpatron"
-version = "0.15.3"
+version = "0.15.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "10c79b78eb9a99ec9ca8350e62769258bf96c00b50829945ea533e1eda8b65c4"
+checksum = "21749960311f1e264f3a9a3a8eb91a924d60c8c243734f8eaf5de13a67072e47"
 dependencies = [
  "codespan-reporting",
  "easy-smt",
diff --git a/synth/Cargo.toml b/synth/Cargo.toml
index ac83ece..2cf16e6 100644
--- a/synth/Cargo.toml
+++ b/synth/Cargo.toml
@@ -8,7 +8,7 @@ edition = "2021"
 [dependencies]
 clap =  { version = "4.4.11", features = ["derive"] }
 easy-smt = "0.2.1"
-libpatron = "0.15.3"
+libpatron = "0.15.5"
 memmap2 = "0.9.0"
 num-bigint = "0.4.4"
 num-traits = "0.2.17"
diff --git a/test.py b/test.py
index d18c094..2e59868 100755
--- a/test.py
+++ b/test.py
@@ -128,7 +128,9 @@ class TestFpgaDebugBenchmarks(SynthesisTest):
 
     def test_s3(self):
         """ AXIS Adapter with incorrect last cycle detection """
-        self.synth_cannot_repair(s3_dir, "s3", solver="yices2", init="zero", incremental=True, timeout=60)
+        # TODO: the repair that is found here is wrong!
+        #       try to get a better testbench
+        self.synth_success(s3_dir, "s3", solver="yices2", init="zero", incremental=True, timeout=60)
 
     def test_d4(self):
         """ AXIS Fifo with overflow bug """