From 90bb47d18140e381e65bd2b51fd793a0692b56a0 Mon Sep 17 00:00:00 2001
From: Zachary Snow <zach@zachjs.com>
Date: Tue, 11 Jan 2022 23:51:08 -0700
Subject: verilog: fix const func eval with upto variables

---
 tests/verilog/func_upto.ys | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/verilog/func_upto.ys

(limited to 'tests/verilog/func_upto.ys')

diff --git a/tests/verilog/func_upto.ys b/tests/verilog/func_upto.ys
new file mode 100644
index 000000000..7a8c53506
--- /dev/null
+++ b/tests/verilog/func_upto.ys
@@ -0,0 +1,7 @@
+read_verilog -sv func_upto.sv
+hierarchy -top top
+proc
+flatten
+opt -full
+select -module top
+sat -verify -seq 1 -prove-asserts -enable_undef
-- 
cgit v1.2.3