Fix MC_Equals to handle NODEP MCIDs.

[satcheck.git] / test / test_eq_nodep.c

diff --git a/test/test_eq_nodep.c b/test/test_eq_nodep.c
new file mode 100644 (file)
index 0000000..0efc1f7
--- /dev/null
+++ b/test/test_eq_nodep.c
@@ -0,0 +1,23 @@
+#include <threads.h>
+#include <inttypes.h>
+#include "libinterface.h"
+
+static int zero;
+
+int user_main(int argc, char **argv)
+{
+    store_32(&zero, 0);
+
+    int val = load_32(&zero);
+
+    int val2 = 0;
+    MCID _mval2 = MCID_NODEP;
+
+    /** this equality check contains one NODEP and should work. **/
+    if(val == val2)
+    {
+        return 1;
+    }
+
+    return 0;
+}
\ No newline at end of file