From ea4c3fa5b2b75c8f0578ba83768a5fabb9b3f8cf Mon Sep 17 00:00:00 2001
From: Daniel Kroening <dkr@amazon.com>
Date: Thu, 17 Oct 2024 14:05:33 -0700
Subject: [PATCH] verilog/SVA/sequence4 test passes

Sequence concatenation is now implemented.
---
 regression/verilog/SVA/sequence4.desc | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/regression/verilog/SVA/sequence4.desc b/regression/verilog/SVA/sequence4.desc
index bbd662bc2..03d1a90fc 100644
--- a/regression/verilog/SVA/sequence4.desc
+++ b/regression/verilog/SVA/sequence4.desc
@@ -1,9 +1,8 @@
-KNOWNBUG
+CORE
 sequence4.sv
 --bound 10
-^EXIT=10$
+^EXIT=0$
 ^SIGNAL=0$
 --
 ^warning: ignoring
 --
-sequence concatenation is not supported by the BMC engine