From: weiyu Date: Wed, 16 Jan 2019 20:43:42 +0000 (-0800) Subject: try to add support for pthread_create/pthread_join X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=a5125804a850074c164722b2355bfc181643d7f1;p=c11tester.git try to add support for pthread_create/pthread_join --- diff --git a/action.h b/action.h index d1f4fffd..f7b66a89 100644 --- 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 ccc109a7..8c384c14 100644 --- 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 f1856d36..fed7545f 100644 --- 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 index 68f653ef..00000000 --- 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 index 3e8204e4..00000000 --- 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