projects
/
satcheck.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
0efc1f7963e104795cfbdcf041210e51e2e63fbb
[satcheck.git]
/
test
/
test_eq_nodep.c
1
#include <threads.h>
2
#include <inttypes.h>
3
#include "libinterface.h"
4
5
static int zero;
6
7
int user_main(int argc, char **argv)
8
{
9
store_32(&zero, 0);
10
11
int val = load_32(&zero);
12
13
int val2 = 0;
14
MCID _mval2 = MCID_NODEP;
15
16
/** this equality check contains one NODEP and should work. **/
17
if(val == val2)
18
{
19
return 1;
20
}
21
22
return 0;
23
}