projects / c11tester.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e58ab15)
try to add support for pthread_create/pthread_join
authorweiyu <weiyuluo1232@gmail.com>
Wed, 16 Jan 2019 20:43:42 +0000 (12:43 -0800)
committerweiyu <weiyuluo1232@gmail.com>
Wed, 16 Jan 2019 20:43:42 +0000 (12:43 -0800)
action.h patch | blob | history
model.cc patch | blob | history
nodestack.cc patch | blob | history
test/memo/original [deleted file] patch | blob | history
test/memo/output [deleted file] patch | blob | history

diff --git a/action.h b/action.h
index d1f4fffde77b5f96600f45e1c1dbaea8b6a98b85..f7b66a89fc68482d5b2a0989ab1c88ec966ad5d7 100644 (file)
--- a/action.h
+++ b/action.h
@@ -57,6 +57,8 @@ typedef enum action_type {
        THREAD_YIELD,         /**< A thread yield action */
        THREAD_JOIN,          /**< A thread join action */
        THREAD_FINISH,        /**< A thread completion action */
+       PTHREAD_CREATE,       /**< A pthread creation action */
+       PTHREAD_JOIN,         /**< A pthread join action */
        ATOMIC_UNINIT,        /**< Represents an uninitialized atomic */
        ATOMIC_READ,          /**< An atomic read action */
        ATOMIC_WRITE,         /**< An atomic write action */
diff --git a/model.cc b/model.cc
index ccc109a7be96594f395c2ccd0f6ab56cf230a88f..8c384c14888c5bd5f60018dd955a80f4ae875503 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -518,6 +518,7 @@ void ModelChecker::run()
                                                        break;
                                                }
                                        } else if (act->get_type() == THREAD_CREATE || \
+                                                       act->get_type() == PTHREAD_CREATE || \ // WL
                                                        act->get_type() == THREAD_START || \
                                                        act->get_type() == THREAD_FINISH) {
                                                t = th;
@@ -542,7 +543,7 @@ void ModelChecker::run()
 
                has_next = next_execution();
                i++;
-       } while (i<100); // while (has_next);
+       } while (i<1); // while (has_next);
 
        execution->fixup_release_sequences();
 
diff --git a/nodestack.cc b/nodestack.cc
index f1856d360f434d04363d544834e4c081816283bb..fed7545ffa13a1a177b14333cee8cb26a24f380e 100644 (file)
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -816,7 +816,7 @@ ModelAction * NodeStack::explore_action(ModelAction *act, enabled_type_t *is_ena
        }
 
        int next_threads = execution->get_num_threads();
-       if (act->get_type() == THREAD_CREATE)
+       if (act->get_type() == THREAD_CREATE || act->get_type() == PTHREAD_CREATE ) // may need to be changed
                next_threads++;
        node_list.push_back(new Node(get_params(), act, head, next_threads, prevfairness));
        total_nodes++;
diff --git a/test/memo/original b/test/memo/original
deleted file mode 100644 (file)
index 68f653e..0000000
--- a/test/memo/original
+++ /dev/null
@@ -1,737 +0,0 @@
-Program output from execution 1:
----- BEGIN PROGRAM OUTPUT ----
-CDSChecker
-Copyright (c) 2013 Regents of the University of California. All rights reserved.
-Distributed under the GPLv2
-Written by Brian Norris and Brian Demsky
-
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 1:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    3    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  5,  0,  9)
-10   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 10)
-11   2    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  4, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 10)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 10)
-HASH 3212361479
-------------------------------------------------------------------------------------
-
-Program output from execution 5:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 5:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 4275545527
-------------------------------------------------------------------------------------
-
-Program output from execution 8:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 8:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 3067323839
-------------------------------------------------------------------------------------
-
-Program output from execution 9:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 9:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 3067323839
-------------------------------------------------------------------------------------
-
-Program output from execution 13:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 13:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 10)
-11   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 11)
-12   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 12)
-13   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 11)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 11, 13)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 11, 13)
-HASH 3086165503
-------------------------------------------------------------------------------------
-
-Program output from execution 14:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 14:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 3067323839
-------------------------------------------------------------------------------------
-
-Program output from execution 16:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 16:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    2    atomic rmw      relaxed        0x601070   0                   3   ( 0,  4,  9)
-10   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 10)
-11   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 11, 10)
-12   3    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  5,  0, 12)
-13   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 13)
-14   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 14)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 10, 14)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 10, 14)
-HASH 4127308943
-------------------------------------------------------------------------------------
-
-Program output from execution 17:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 17:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    2    atomic rmw      relaxed        0x601070   0                   3   ( 0,  4,  9)
-10   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 10)
-11   3    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  5,  0, 11)
-12   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 12)
-13   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 10)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 10, 13)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 10, 13)
-HASH 4133240655
-------------------------------------------------------------------------------------
-
-Program output from execution 22:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 22:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 3067323839
-------------------------------------------------------------------------------------
-
-Program output from execution 24:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 24:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    3    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  5,  0,  9)
-10   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 10)
-11   2    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  4, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 10)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 10)
-HASH 3212361479
-------------------------------------------------------------------------------------
-
-Program output from execution 37:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 37:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 3067323839
-------------------------------------------------------------------------------------
-
-Program output from execution 48:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 48:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  9)
-10   2    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  4, 10)
-11   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 11)
-12   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 12)
-13   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 11)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 11, 13)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 11, 13)
-HASH 4294387191
-------------------------------------------------------------------------------------
-
-Program output from execution 49:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 49:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  9)
-10   2    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  4, 10)
-11   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 11)
-12   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 12)
-13   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 11)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 11, 13)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 11, 13)
-HASH 4294387191
-------------------------------------------------------------------------------------
-
-Program output from execution 51:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 51:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 4275545527
-------------------------------------------------------------------------------------
-
-Program output from execution 57:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 57:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    2    atomic rmw      relaxed        0x601070   0                   3   ( 0,  4,  9)
-10   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 10)
-11   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 11, 10)
-12   3    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  5,  0, 12)
-13   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 13)
-14   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 14)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 10, 14)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 10, 14)
-HASH 4127308943
-------------------------------------------------------------------------------------
-
-Program output from execution 58:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 58:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    2    atomic rmw      relaxed        0x601070   0                   3   ( 0,  4,  9)
-10   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 10)
-11   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 11, 10)
-12   3    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  5,  0, 12)
-13   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 13)
-14   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 14)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 10, 14)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 10, 14)
-HASH 4127308943
-------------------------------------------------------------------------------------
-
-Program output from execution 67:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 67:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 4275545527
-------------------------------------------------------------------------------------
-
-Program output from execution 70:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 70:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    2    atomic rmw      relaxed        0x601070   0                   3   ( 0,  4,  9)
-10   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 10)
-11   3    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  5,  0, 11)
-12   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 12, 10)
-13   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 13)
-14   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 14)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 10, 14)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 10, 14)
-HASH 4132878847
-------------------------------------------------------------------------------------
-
-Program output from execution 73:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 73:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 4275545527
-------------------------------------------------------------------------------------
-
-Program output from execution 74:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 74:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    2    atomic rmw      relaxed        0x601070   0                   3   ( 0,  4,  9)
-10   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 10)
-11   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 11, 10)
-12   3    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  5,  0, 12)
-13   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 13)
-14   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 14)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 10, 14)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 10, 14)
-HASH 4127308943
-------------------------------------------------------------------------------------
-
-Program output from execution 94:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 94:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 10)
-11   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 11)
-12   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 12)
-13   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 11)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 11, 13)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 11, 13)
-HASH 3086165503
-------------------------------------------------------------------------------------
-
-Program output from execution 95:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 95:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    3    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  5,  0,  9)
-10   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 10)
-11   2    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  4, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 10)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 10)
-HASH 3212361479
-------------------------------------------------------------------------------------
-
-Program output from execution 96:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 96:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  8)
-9    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  9)
-10   3    atomic rmw      relaxed        0x60106c   0x1                 8   ( 0,  5,  0, 10)
-11   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 9   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 11)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 11)
-HASH 4275545527
-------------------------------------------------------------------------------------
-
-Program output from execution 98:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 98:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    3    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  5,  0,  9)
-10   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 10)
-11   2    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  4, 11)
-12   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 12)
-13   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 13)
-14   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 14, 13)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 13, 10)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 13, 10)
-HASH 3212361479
-------------------------------------------------------------------------------------
-
-Program output from execution 100:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 100:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0,  1)
-2    1    init atomic     relaxed        0x60106c   0                       ( 0,  2)
-3    1    init atomic     relaxed        0x601070   0                       ( 0,  3)
-4    1    thread create   seq_cst  0x7f9157aabb68   0x7f9157aabaf0          ( 0,  4)
-5    1    thread create   seq_cst  0x7f9157aabb60   0x7f9157aabaf0          ( 0,  5)
-6    2    thread start    seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4,  6)
-7    3    thread start    seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0,  7)
-8    3    atomic rmw      relaxed        0x601070   0                   3   ( 0,  5,  0,  8)
-9    2    atomic rmw      relaxed        0x60106c   0                   2   ( 0,  4,  9)
-10   2    atomic rmw      relaxed        0x601070   0x1                 8   ( 0,  4, 10)
-11   2    thread finish   seq_cst  0x7f9157aabbc8   0xdeadbeef              ( 0,  4, 11)
-12   1    thread join     seq_cst  0x7f9157aabbc8   0x2                     ( 0, 12, 11)
-13   3    atomic rmw      relaxed        0x60106c   0x1                 9   ( 0,  5,  0, 13)
-14   3    thread finish   seq_cst  0x7f9157babfd0   0xdeadbeef              ( 0,  5,  0, 14)
-15   1    thread join     seq_cst  0x7f9157babfd0   0x3                     ( 0, 15, 11, 14)
-16   1    thread finish   seq_cst  0x7f91579ab7c0   0xdeadbeef              ( 0, 16, 11, 14)
-HASH 3086594311
-------------------------------------------------------------------------------------
-
-******* Model-checking complete: *******
-Number of complete, bug-free executions: 25
-Number of redundant executions: 0
-Number of buggy executions: 0
-Number of infeasible executions: 75
-Total executions: 100
-Total nodes created: 1135
diff --git a/test/memo/output b/test/memo/output
deleted file mode 100644 (file)
index 3e8204e..0000000
--- a/test/memo/output
+++ /dev/null
@@ -1,687 +0,0 @@
-Program output from execution 1:
----- BEGIN PROGRAM OUTPUT ----
-CDSChecker
-Copyright (c) 2013 Regents of the University of California. All rights reserved.
-Distributed under the GPLv2
-Written by Brian Norris and Brian Demsky
-
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 1:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
-8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
-9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
-HASH 3127311590
-------------------------------------------------------------------------------------
-
-Program output from execution 5:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 5:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 4208097262
-------------------------------------------------------------------------------------
-
-Program output from execution 8:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 8:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 3019040174
-------------------------------------------------------------------------------------
-
-Program output from execution 9:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 9:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 3019040174
-------------------------------------------------------------------------------------
-
-Program output from execution 13:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 13:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2,  8)
-9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
-10   3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0, 10)
-11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
-HASH 3000133102
-------------------------------------------------------------------------------------
-
-Program output from execution 14:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 14:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 3019040174
-------------------------------------------------------------------------------------
-
-Program output from execution 16:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 16:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
-8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
-9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
-10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
-11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
-12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
-HASH 4064055974
-------------------------------------------------------------------------------------
-
-Program output from execution 17:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 17:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
-8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
-9    3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0,  9)
-10   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 10)
-11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  8)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 11)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 11)
-HASH 4066832102
-------------------------------------------------------------------------------------
-
-Program output from execution 22:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 22:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 3019040174
-------------------------------------------------------------------------------------
-
-Program output from execution 24:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 24:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
-8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
-9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
-HASH 3127311590
-------------------------------------------------------------------------------------
-
-Program output from execution 37:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 37:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 3019040174
-------------------------------------------------------------------------------------
-
-Program output from execution 48:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 48:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
-8    2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2,  8)
-9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
-10   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 10)
-11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
-HASH 4227004334
-------------------------------------------------------------------------------------
-
-Program output from execution 49:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 49:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
-8    2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2,  8)
-9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
-10   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 10)
-11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
-HASH 4227004334
-------------------------------------------------------------------------------------
-
-Program output from execution 51:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 51:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 4208097262
-------------------------------------------------------------------------------------
-
-Program output from execution 57:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 57:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
-8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
-9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
-10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
-11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
-12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
-HASH 4064055974
-------------------------------------------------------------------------------------
-
-Program output from execution 58:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 58:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
-8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
-9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
-10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
-11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
-12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
-HASH 4064055974
-------------------------------------------------------------------------------------
-
-Program output from execution 67:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 67:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 4208097262
-------------------------------------------------------------------------------------
-
-Program output from execution 70:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 70:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
-8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
-9    3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0,  9)
-10   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 10,  8)
-11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
-12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
-HASH 4067202982
-------------------------------------------------------------------------------------
-
-Program output from execution 73:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 73:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 4208097262
-------------------------------------------------------------------------------------
-
-Program output from execution 74:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=0
-v3 = 1, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 74:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    2    atomic rmw      relaxed        0x601060   0                   0   ( 0,  2,  7)
-8    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  8)
-9    1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0,  9,  8)
-10   3    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  3,  0, 10)
-11   3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0, 11)
-12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  8, 12)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  8, 12)
-HASH 4064055974
-------------------------------------------------------------------------------------
-
-Program output from execution 94:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 94:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2,  8)
-9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
-10   3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0, 10)
-11   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12,  9)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 11)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 11)
-HASH 3000133102
-------------------------------------------------------------------------------------
-
-Program output from execution 95:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 95:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
-8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
-9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
-HASH 3127311590
-------------------------------------------------------------------------------------
-
-Program output from execution 96:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=1
-v1 = 0, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 96:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  6)
-7    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  7)
-8    3    atomic rmw      relaxed        0x60105c   0x1                 6   ( 0,  3,  0,  8)
-9    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 7   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  9)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  9)
-HASH 4208097262
-------------------------------------------------------------------------------------
-
-Program output from execution 98:
----- BEGIN PROGRAM OUTPUT ----
-v3 = 0, v4=0
-v1 = 1, v2=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 98:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    3    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  3,  0,  7)
-8    3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  8)
-9    2    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  2,  9)
-10   2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2, 10)
-11   2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2, 11)
-12   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 12, 11)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13, 11,  8)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14, 11,  8)
-HASH 3127311590
-------------------------------------------------------------------------------------
-
-Program output from execution 100:
----- BEGIN PROGRAM OUTPUT ----
-v1 = 0, v2=1
-v3 = 0, v4=1
----- END PROGRAM OUTPUT   ----
-
-Execution trace 100:
-------------------------------------------------------------------------------------
-#    t    Action type     MO       Location         Value               Rf  CV
-------------------------------------------------------------------------------------
-1    1    thread start    seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0,  1)
-2    1    thread create   seq_cst  0x7efc242abb68   0x7efc242abb10          ( 0,  2)
-3    1    thread create   seq_cst  0x7efc242abb60   0x7efc242abb10          ( 0,  3)
-4    2    thread start    seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  4)
-5    3    thread start    seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0,  5)
-6    3    atomic rmw      relaxed        0x601060   0                   0   ( 0,  3,  0,  6)
-7    2    atomic rmw      relaxed        0x60105c   0                   0   ( 0,  2,  7)
-8    2    atomic rmw      relaxed        0x601060   0x1                 6   ( 0,  2,  8)
-9    2    thread finish   seq_cst  0x7efc242abbc8   0xdeadbeef              ( 0,  2,  9)
-10   1    thread join     seq_cst  0x7efc242abbc8   0x2                     ( 0, 10,  9)
-11   3    atomic rmw      relaxed        0x60105c   0x1                 7   ( 0,  3,  0, 11)
-12   3    thread finish   seq_cst  0x7efc243abfd0   0xdeadbeef              ( 0,  3,  0, 12)
-13   1    thread join     seq_cst  0x7efc243abfd0   0x3                     ( 0, 13,  9, 12)
-14   1    thread finish   seq_cst  0x7efc241ab7c0   0xdeadbeef              ( 0, 14,  9, 12)
-HASH 3000504038
-------------------------------------------------------------------------------------
-
-******* Model-checking complete: *******
-Number of complete, bug-free executions: 25
-Number of redundant executions: 0
-Number of buggy executions: 0
-Number of infeasible executions: 75
-Total executions: 100
-Total nodes created: 935
C11 Tester Tool Public Repository