diff options
| author | Deborah Soung | 2021-03-03 16:45:49 -0800 |
|---|---|---|
| committer | GitHub | 2021-03-03 16:45:49 -0800 |
| commit | 5be1abb4c654279762a463a861526ce4e0c48035 (patch) | |
| tree | 6895b0e53cb59436dc7df8bb37d53efc05abf398 /src/main/proto | |
| parent | 38dc5401ea875037e23bbbe998fb1b0f9aef7334 (diff) | |
Fix ProtoBuf conversions for Verification IR (#2100)
Diffstat (limited to 'src/main/proto')
| -rw-r--r-- | src/main/proto/firrtl.proto | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/main/proto/firrtl.proto b/src/main/proto/firrtl.proto index e8451d7a..6ce1c108 100644 --- a/src/main/proto/firrtl.proto +++ b/src/main/proto/firrtl.proto @@ -276,6 +276,7 @@ message Firrtl { IsInvalid is_invalid = 17; MemoryPort memory_port = 18; Attach attach = 20; + Verification verification = 21; } SourceInfo source_info = 19; |