add default MC-names for not-found variables in equality test
authorPatrick Lam <prof.lam@gmail.com>
Mon, 5 Oct 2015 21:23:52 +0000 (23:23 +0200)
committerPatrick Lam <prof.lam@gmail.com>
Mon, 5 Oct 2015 21:23:52 +0000 (23:23 +0200)
commitdb744f4a24ffe7f8091440c0b2a8f80c8de46cb4
treec3001b5b982395929b27973fa081982b796dfa72
parentc0828349d8d79e469f450fb1e6b8dd717637c5f0
add default MC-names for not-found variables in equality test
clang/src/add_mc2_annotations.cpp