Fixes and add comments for open FIXME items
authorClaire Xenia Wolf <claire@clairexen.net>
Fri, 8 Oct 2021 15:24:45 +0000 (17:24 +0200)
committerClaire Xenia Wolf <claire@clairexen.net>
Fri, 8 Oct 2021 15:24:45 +0000 (17:24 +0200)
commit34f1df84357e8d053b930970ff53e24f35e1b1b9
treec113294aa9e30024a0371b541f4296b683872a6c
parent1602a0386419495993f25667c7c6e5fb55010592
Fixes and add comments for open FIXME items

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