aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/firrtl/proto/ToProto.scala
diff options
context:
space:
mode:
authorDeborah Soung2021-03-03 16:45:49 -0800
committerGitHub2021-03-03 16:45:49 -0800
commit5be1abb4c654279762a463a861526ce4e0c48035 (patch)
tree6895b0e53cb59436dc7df8bb37d53efc05abf398 /src/main/scala/firrtl/proto/ToProto.scala
parent38dc5401ea875037e23bbbe998fb1b0f9aef7334 (diff)
Fix ProtoBuf conversions for Verification IR (#2100)
Diffstat (limited to 'src/main/scala/firrtl/proto/ToProto.scala')
-rw-r--r--src/main/scala/firrtl/proto/ToProto.scala1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/scala/firrtl/proto/ToProto.scala b/src/main/scala/firrtl/proto/ToProto.scala
index 4cdf6b85..f5ade0e3 100644
--- a/src/main/scala/firrtl/proto/ToProto.scala
+++ b/src/main/scala/firrtl/proto/ToProto.scala
@@ -307,6 +307,7 @@ object ToProto {
.setCond(convert(cond))
.setEn(convert(en))
.setMsg(msg.string)
+ sb.setVerification(vb)
case ir.IsInvalid(_, expr) =>
val ib = Firrtl.Statement.IsInvalid
.newBuilder()