Add "read -verific" and "read -noverific"
authorClifford Wolf <clifford@clifford.at>
Wed, 27 Mar 2019 13:03:35 +0000 (14:03 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 27 Mar 2019 13:03:35 +0000 (14:03 +0100)
commit7682629b79fd59f5ed49fb35a3a2441a405bfd63
treed4aa7de16ec90791f30068cd9f4fd7db3493a229
parent2c7fe42ad158a9859895399bdd876f5dbb2c7376
Add "read -verific" and "read -noverific"

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