From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 12 Dec 2019 07:48:09 +0000 (-0800)
Subject: Make testcase clearer with \o having its own init
X-Git-Tag: working-ls180~845^2~1
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=61a1f3f49b7bd0478b92c0933c487af5803c53f9;p=yosys.git

Make testcase clearer with \o having its own init
---

diff --git a/tests/sat/initval.ys b/tests/sat/initval.ys
index 337aa9343..6cb68a8d3 100644
--- a/tests/sat/initval.ys
+++ b/tests/sat/initval.ys
@@ -6,6 +6,8 @@ sat -seq 10 -prove-asserts
 design -reset
 read_verilog -icells <<EOT
 module top(input clk, i, output o, p);
+(* init = 1'b0 *)
+wire o;
 (* init = 1'bx *)
 wire p = o;
 $_DFF_P_ dff (.C(clk), .D(i), .Q(o));