3 #include "libinterface.h"
5 /* atomic */ int flag1;
11 /* uint32_t */ int var = 0;
18 _mf1=MC2_nextOpLoad(MCID_NODEP), f1 = load_32(&flag1);
21 {_br0 = MC2_branchUsesID(_mf1, 1, 2, true);
23 } else { _br0 = MC2_branchUsesID(_mf1, 0, 2, true); MC2_merge(_br0);
34 _mf1=MC2_nextOpLoad(MCID_NODEP), f1 = load_32(&flag1);
37 {_br1 = MC2_branchUsesID(_mf1, 1, 2, true);
40 {_br1 = MC2_branchUsesID(_mf1, 0, 2, true);
53 _mf1=MC2_nextOpLoad(MCID_NODEP), f1 = load_32(&flag1);
56 _br2 = MC2_branchUsesID(_mf1, 1, 2, true);
59 } else { _br2 = MC2_branchUsesID(_mf1, 0, 2, true); MC2_merge(_br2);
70 _mf1=MC2_nextOpLoad(MCID_NODEP), f1 = load_32(&flag1);
73 _br3 = MC2_branchUsesID(_mf1, 1, 2, true);
76 _br3 = MC2_branchUsesID(_mf1, 0, 2, true);
86 int user_main(int argc, char **argv)
90 MC2_nextOpStore(MCID_NODEP, MCID_NODEP);
91 store_32(&flag1, false);
93 thrd_create(&a, p0, NULL);
99 void pf(MCID _mq, int q) {
100 // need to create a tmp variable etc
103 _br4 = MC2_branchUsesID(, 1, 2, true);
107 else { _br4 = MC2_branchUsesID(, 0, 2, true); MC2_merge(_br4);