Cleaner encoding of argc/argv constraints (requires latest version of CBMC)
Cleaner encoding of argc/argv constraints (requires latest version of CBMC)

tautschnig/fshell,tautschnig/fshell,tautschnig/fshell,tautschnig/fshell