Aniruddha Kanhere cb7edd2323 Sync with a:FR (#75) ... * AFR sync * AFR sync: CBMC * AFR sync: CBMC: remove .bak files * AFR sync: CBMC: more cleanup * Corrected CBMC proofs * Corrected CBMC patches * Corrected CBMC patches-1 * Corrected CBMC patches-2 * remove .bak files (3) Co-authored-by: Yuhui Zheng <10982575+yuhui-zheng@users.noreply.github.com>		5 years ago
..
CheckOptionsOuter_harness.c	Sync with a:FR (#75)	5 years ago
Makefile.json	Sync with a:FR (#75)	5 years ago