In the Home directory run the following:
$ git clone https://gitlab.com/securityengineering/CBMC-GC-2.git
$ cd CBMC-GC-2
$ sudo apt-get update
$ sudo apt-get install bison
$ sudo apt-get install flex
$ sudo minisat2-download
$ make
In the Home directory run the following:
$ git clone https://gitlab.com/securityengineering/CBMC-GC-2.git
$ cd CBMC-GC-2
$ sudo apt-get update
$ sudo apt-get install bison
$ sudo apt-get install flex
$ sudo minisat2-download
$ make