Added an option to SMACKInst so that it can add general memory safety check to SMACK generated programs
Added an option to SMACKInst so that it can add general memory safety
check to SMACK generated programs

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral