<div dir="ltr"><div>Package: android-tools</div><div>Compiler: goto-cc 5.0</div><div>Architecture: amd64</div><div><br></div>I am also getting similar issue while compiling using goto-cc which I installed using<div>'apt-get install cbmc'<br></div><div><br></div></div>