Add Verific adffe/dffsre/aldffe FIXMEs
authorClaire Xenia Wolf <claire@clairexen.net>
Mon, 11 Oct 2021 08:00:20 +0000 (10:00 +0200)
committerClaire Xenia Wolf <claire@clairexen.net>
Mon, 11 Oct 2021 08:00:20 +0000 (10:00 +0200)
commitc8074769b081f26b2129910502dd9031acd01a2a
tree01d437b1bccf3f4d5afa64b6df01b68212e9b669
parent34f1df84357e8d053b930970ff53e24f35e1b1b9
Add Verific adffe/dffsre/aldffe FIXMEs

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
frontends/verific/verific.cc