add MC2_function call for assignments where RHS computed from loads; tweak tests
authorPatrick Lam <prof.lam@gmail.com>
Sun, 4 Oct 2015 21:17:51 +0000 (23:17 +0200)
committerPatrick Lam <prof.lam@gmail.com>
Sun, 4 Oct 2015 21:17:51 +0000 (23:17 +0200)
commitc0828349d8d79e469f450fb1e6b8dd717637c5f0
treef2b5caa6ace1937589ab15ff58a9d654efb7c3d2
parent52b59882a22019190a4f6cb35c65ce1221b4a96e
add MC2_function call for assignments where RHS computed from loads; tweak tests
benchmarks/satcheck-precompiled/linuxlock/linuxlocks.c
benchmarks/satcheck-precompiled/linuxrwlock/linuxrwlocks.c
benchmarks/satcheck-precompiled/msqueueoffset/ms-queue-simple.c
clang/src/add_mc2_annotations.cpp
clang/test/fib_easy_true.c