Error in verifying Vignat

[sarsanaee]

Hi

I'd like to verify NFs. However, I'm facing an issue when validating.

Here is what I did:

1. installed a VM with ubuntu 20
2. ran ./setup.sh as root.
3. cd vignat
4. make symbex validate

However, here is the error I get:

ocamlfind: Package `cil' not found
Cannot run Ocamlfind.
make: *** [/home/vboxuser/vigor/vignat/../Makefile:70: autogen] Error 10

[sarsanaee]

From what I saw in the repo, it seems this package gets installed via ./setup.sh, but I might be missing something.

After a long miserable trial on getting the original vignat repository working and dealing with random packages of different versions, I came to this repo in the hope of seeing if I could finally get this tool working or not. Still unsuccessful.