git rid of SATCHECK_CONFIG micro
authorHamed Gorjiara <hgorjiar@uci.edu>
Wed, 25 Oct 2017 21:04:44 +0000 (14:04 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Wed, 25 Oct 2017 21:04:44 +0000 (14:04 -0700)
commitf2bd73e95f61f25450c64a4ee737fa95263c7790
tree09e98cb36113cdefef2f43186523e5c6d95a8868
parent09f8f2a1ac7ab3413cf64ab0606ffa437c571c86
git rid of SATCHECK_CONFIG micro
src/common.h
src/mymemory.h