Import module attributes from Verific
authorMiodrag Milanovic <mmicko@gmail.com>
Sun, 10 Oct 2021 08:01:45 +0000 (10:01 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Sun, 10 Oct 2021 08:01:45 +0000 (10:01 +0200)
commit93fbc9fba4400814a859a9d9bfb05b3b92500e31
tree1775fd2caeda1e86afd260ecf03a1b651c56cca3
parentd8f6d7b18d23a588fc537f12aef3c4c8ddbe3418
Import module attributes from Verific
frontends/verific/verific.cc