verific set db_infer_set_reset_registers
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 4 Oct 2021 14:48:33 +0000 (16:48 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 4 Oct 2021 14:48:33 +0000 (16:48 +0200)
commitabc5700628cff4fc9334e28fbaccc35c75dfa990
tree75da274e617828e1d0aa9fde294c8cf7f6fdc50b
parentf3ef579ac4336bf9b92227e9ead8fa0fe7b236c4
verific set db_infer_set_reset_registers
frontends/verific/verific.cc