Add "read -sv -D" support
authorClifford Wolf <clifford@clifford.at>
Thu, 28 Jun 2018 21:58:15 +0000 (23:58 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 28 Jun 2018 21:58:15 +0000 (23:58 +0200)
commitafedb2d03ee07738025ae77d73d280044c29ec2f
treeb463682df4d9424a5328f8ea75c0bd7488ac5c5c
parent07e616900c2d6ddf021644f9687954d92ac8109a
Add "read -sv -D" support

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc