Vishrutidesai

won't be able to run script

2

cc1: error: cannot load plugin /home/vishruti/gcc-python-plugin-0.15/python.so /home/vishruti/gcc-python-plugin-0.15/python.so: cannot open shared object file: No such file or directory

while cloning

1

The authenticity of host 'github.com (192.30.253.113)' can't be established. RSA key fingerprint is SHA256:nThbg6kXUpJWGl7E1IGOCspRomTxdCARLviKw6E5SY8. Are you sure you want to continue connecting (yes/no)?

Install frama-c issue

1

While installing frama-c using opam getting following errors ``` lenovo@vishrutidesai:~$ opam install frama-c.20181101 The following actions will be performed: - install frama-c 20181101 Yojson enables kernel option -json-compilation-database Why3 can...