Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- ===== The cycle =====
- globals:
- key = @(48912:0| null)
- once = @(48914:0| { { 0, 0, 3, 0 } })
- stdin = @(48926:0| @(48927:0| { 48924:0 <...>, { null }, { [ 0, 0, 5, 0 ] }, 48930:0 <...>, 256, 0, 0, 0, 48935:0 <...>, 32778, { 0, { { [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ] }, 0, 0, 0 } }, null, 48941:0 <...> }))
- stdout = @(48967:0| 48941:0 <...>)
- stderr = @(48969:0| 48950:0 <...>)
- __cxa_terminate_handler = @(49914:0| 159:0)
- __cxa_unexpected_handler = @(49916:0| 160:0)
- __cxa_new_handler = @(50390:0| null)
- __dso_handle = @(54063:0| null)
- _mpi_num_processes = @(54069:0| 2)
- _mpi_enable_mpi_comm_self = @(54071:0| 0)
- _mpi_exit_barrier = @(54073:0| 1)
- MPI_CHAR = @(54116:0| @(9:0| { { { @(10:0| { 0, 0 }), @(10:16| invalid), { { 10:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT = @(54118:0| @(11:0| { { { @(12:0| { 1, 0 }), @(12:16| invalid), { { 12:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT = @(54120:0| @(13:0| { { { @(14:0| { 2, 0 }), @(14:16| invalid), { { 14:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG = @(54122:0| @(15:0| { { { @(16:0| { 3, 0 }), @(16:16| invalid), { { 16:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG_INT = @(54124:0| @(17:0| { { { @(18:0| { 4, 0 }), @(18:16| invalid), { { 18:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG = @(54126:0| @(19:0| { { { @(20:0| { 5, 0 }), @(20:16| invalid), { { 20:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SIGNED_CHAR = @(54128:0| @(21:0| { { { @(22:0| { 6, 0 }), @(22:16| invalid), { { 22:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_CHAR = @(54130:0| @(23:0| { { { @(24:0| { 7, 0 }), @(24:16| invalid), { { 24:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_SHORT = @(54132:0| @(25:0| { { { @(26:0| { 8, 0 }), @(26:16| invalid), { { 26:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED = @(54134:0| @(27:0| { { { @(28:0| { 9, 0 }), @(28:16| invalid), { { 28:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG = @(54136:0| @(29:0| { { { @(30:0| { 10, 0 }), @(30:16| invalid), { { 30:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG_LONG = @(54138:0| @(31:0| { { { @(32:0| { 11, 0 }), @(32:16| invalid), { { 32:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT = @(54140:0| @(33:0| { { { @(34:0| { 12, 0 }), @(34:16| invalid), { { 34:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE = @(54142:0| @(35:0| { { { @(36:0| { 13, 0 }), @(36:16| invalid), { { 36:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE = @(54144:0| @(37:0| { { { @(38:0| { 14, 0 }), @(38:16| invalid), { { 38:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_WCHAR = @(54146:0| @(39:0| { { { @(40:0| { 15, 0 }), @(40:16| invalid), { { 40:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_BOOL = @(54148:0| @(41:0| { { { @(42:0| { 16, 0 }), @(42:16| invalid), { { 42:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT8_T = @(54150:0| @(43:0| { { { @(44:0| { 17, 0 }), @(44:16| invalid), { { 44:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT16_T = @(54152:0| @(45:0| { { { @(46:0| { 18, 0 }), @(46:16| invalid), { { 46:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT32_T = @(54154:0| @(47:0| { { { @(48:0| { 19, 0 }), @(48:16| invalid), { { 48:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT64_T = @(54156:0| @(49:0| { { { @(50:0| { 20, 0 }), @(50:16| invalid), { { 50:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT8_T = @(54158:0| @(51:0| { { { @(52:0| { 21, 0 }), @(52:16| invalid), { { 52:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT16_T = @(54160:0| @(53:0| { { { @(54:0| { 22, 0 }), @(54:16| invalid), { { 54:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT32_T = @(54162:0| @(55:0| { { { @(56:0| { 23, 0 }), @(56:16| invalid), { { 56:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT64_T = @(54164:0| @(57:0| { { { @(58:0| { 24, 0 }), @(58:16| invalid), { { 58:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_AINT = @(54166:0| @(59:0| { { { @(60:0| { 25, 0 }), @(60:16| invalid), { { 60:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_COUNT = @(54168:0| @(61:0| { { { @(62:0| { 26, 0 }), @(62:16| invalid), { { 62:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_OFFSET = @(54170:0| @(63:0| { { { @(64:0| { 27, 0 }), @(64:16| invalid), { { 64:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_COMPLEX = @(54172:0| @(65:0| { { { @(66:0| { 28, 0 }), @(66:16| invalid), { { 66:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_FLOAT_COMPLEX = @(54174:0| @(67:0| { { { @(68:0| { 29, 0 }), @(68:16| invalid), { { 68:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_DOUBLE_COMPLEX = @(54176:0| @(69:0| { { { @(70:0| { 30, 0 }), @(70:16| invalid), { { 70:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_LONG_DOUBLE_COMPLEX = @(54178:0| @(71:0| { { { @(72:0| { 31, 0 }), @(72:16| invalid), { { 72:16 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_BYTE = @(54180:0| @(73:0| { { { @(74:0| { 7, 0 }), @(74:16| invalid), { { 74:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_PACKED = @(54182:0| @(75:0| { { { @(76:0| { 7, 0 }), @(76:16| invalid), { { 76:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT_INT = @(54184:0| @(77:0| { { { @(78:0| { 12, 0 }), @(78:32| invalid), { { 78:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE_INT = @(54186:0| @(79:0| { { { @(80:0| { 13, 0 }), @(80:32| invalid), { { 80:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_INT = @(54188:0| @(81:0| { { { @(82:0| { 3, 0 }), @(82:32| invalid), { { 82:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_2INT = @(54190:0| @(83:0| { { { @(84:0| { 2, 0 }), @(84:32| invalid), { { 84:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT_INT = @(54192:0| @(85:0| { { { @(86:0| { 1, 0 }), @(86:32| invalid), { { 86:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE_INT = @(54194:0| @(87:0| { { { @(88:0| { 14, 0 }), @(88:32| invalid), { { 88:32 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_MAX = @(54200:0| @(89:0| { 0 }))
- MPI_MIN = @(54202:0| @(90:0| { 1 }))
- MPI_SUM = @(54204:0| @(91:0| { 2 }))
- MPI_PROD = @(54206:0| @(92:0| { 3 }))
- MPI_MAXLOC = @(54208:0| @(93:0| { 4 }))
- MPI_MINLOC = @(54210:0| @(94:0| { 5 }))
- MPI_BAND = @(54212:0| @(95:0| { 6 }))
- MPI_BOR = @(54214:0| @(96:0| { 7 }))
- MPI_BXOR = @(54216:0| @(97:0| { 8 }))
- MPI_LAND = @(54218:0| @(98:0| { 9 }))
- MPI_LOR = @(54220:0| @(99:0| { 10 }))
- MPI_LXOR = @(54222:0| @(100:0| { 11 }))
- MPI_GROUP_EMPTY = @(54224:0| @(101:0| { { { null, null, { { null } } } } }))
- MPI_COMM_WORLD_ = @(54228:0| @(102:0| @(0:1| invalid)))
- MPI_COMM_SELF_ = @(54230:0| @(103:0| null))
- thread 0:
- #1: <_divine_start> [ entry.cpp:88 ] [ ctorcount = 6, ctors = 917274624, mainproto = 0, c = @(111:0| @(55986:96| invalid)), i = @(112:0| 6), r = @(113:0| 0?), i1 = @(114:0| 1) ]
- #2: <_divine_invoke_main_mpi> [ entry.cpp:49 ] [ mainproto = @(110:0| 0), r = @(116:0| 0), finalized = @(117:0| 1) ]
- thread 1:
- #1: <_divine_invoke_main_mpi> [ entry.cpp:33 ] [ mainproto = 110:0 <...>, r = @(119:0| 0?), finalized = @(120:0| 0?) ]
- #2: <_divine_invoke_main> [ entry.cpp:21 ] [ mainproto = 0, r = @(122:0| 0?) ]
- #3: <main> [ ../sanity_ltl.c:18 ] [ rank = @(124:0| 1) ]
- LTL: 0 ([ -2 ] -> 0; )
- fairness id = 1
- globals:
- key = @(48912:0| null)
- once = @(48914:0| { { 0, 0, 3, 0 } })
- stdin = @(48926:0| @(48927:0| { 48924:0 <...>, { null }, { [ 0, 0, 5, 0 ] }, 48930:0 <...>, 256, 0, 0, 0, 48935:0 <...>, 32778, { 0, { { [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ] }, 0, 0, 0 } }, null, 48941:0 <...> }))
- stdout = @(48967:0| 48941:0 <...>)
- stderr = @(48969:0| 48950:0 <...>)
- __cxa_terminate_handler = @(49914:0| 159:0)
- __cxa_unexpected_handler = @(49916:0| 160:0)
- __cxa_new_handler = @(50390:0| null)
- __dso_handle = @(54063:0| null)
- _mpi_num_processes = @(54069:0| 2)
- _mpi_enable_mpi_comm_self = @(54071:0| 0)
- _mpi_exit_barrier = @(54073:0| 1)
- MPI_CHAR = @(54116:0| @(9:0| { { { @(10:0| { 0, 0 }), @(10:16| invalid), { { 10:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT = @(54118:0| @(11:0| { { { @(12:0| { 1, 0 }), @(12:16| invalid), { { 12:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT = @(54120:0| @(13:0| { { { @(14:0| { 2, 0 }), @(14:16| invalid), { { 14:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG = @(54122:0| @(15:0| { { { @(16:0| { 3, 0 }), @(16:16| invalid), { { 16:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG_INT = @(54124:0| @(17:0| { { { @(18:0| { 4, 0 }), @(18:16| invalid), { { 18:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG = @(54126:0| @(19:0| { { { @(20:0| { 5, 0 }), @(20:16| invalid), { { 20:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SIGNED_CHAR = @(54128:0| @(21:0| { { { @(22:0| { 6, 0 }), @(22:16| invalid), { { 22:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_CHAR = @(54130:0| @(23:0| { { { @(24:0| { 7, 0 }), @(24:16| invalid), { { 24:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_SHORT = @(54132:0| @(25:0| { { { @(26:0| { 8, 0 }), @(26:16| invalid), { { 26:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED = @(54134:0| @(27:0| { { { @(28:0| { 9, 0 }), @(28:16| invalid), { { 28:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG = @(54136:0| @(29:0| { { { @(30:0| { 10, 0 }), @(30:16| invalid), { { 30:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG_LONG = @(54138:0| @(31:0| { { { @(32:0| { 11, 0 }), @(32:16| invalid), { { 32:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT = @(54140:0| @(33:0| { { { @(34:0| { 12, 0 }), @(34:16| invalid), { { 34:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE = @(54142:0| @(35:0| { { { @(36:0| { 13, 0 }), @(36:16| invalid), { { 36:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE = @(54144:0| @(37:0| { { { @(38:0| { 14, 0 }), @(38:16| invalid), { { 38:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_WCHAR = @(54146:0| @(39:0| { { { @(40:0| { 15, 0 }), @(40:16| invalid), { { 40:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_BOOL = @(54148:0| @(41:0| { { { @(42:0| { 16, 0 }), @(42:16| invalid), { { 42:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT8_T = @(54150:0| @(43:0| { { { @(44:0| { 17, 0 }), @(44:16| invalid), { { 44:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT16_T = @(54152:0| @(45:0| { { { @(46:0| { 18, 0 }), @(46:16| invalid), { { 46:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT32_T = @(54154:0| @(47:0| { { { @(48:0| { 19, 0 }), @(48:16| invalid), { { 48:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT64_T = @(54156:0| @(49:0| { { { @(50:0| { 20, 0 }), @(50:16| invalid), { { 50:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT8_T = @(54158:0| @(51:0| { { { @(52:0| { 21, 0 }), @(52:16| invalid), { { 52:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT16_T = @(54160:0| @(53:0| { { { @(54:0| { 22, 0 }), @(54:16| invalid), { { 54:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT32_T = @(54162:0| @(55:0| { { { @(56:0| { 23, 0 }), @(56:16| invalid), { { 56:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT64_T = @(54164:0| @(57:0| { { { @(58:0| { 24, 0 }), @(58:16| invalid), { { 58:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_AINT = @(54166:0| @(59:0| { { { @(60:0| { 25, 0 }), @(60:16| invalid), { { 60:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_COUNT = @(54168:0| @(61:0| { { { @(62:0| { 26, 0 }), @(62:16| invalid), { { 62:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_OFFSET = @(54170:0| @(63:0| { { { @(64:0| { 27, 0 }), @(64:16| invalid), { { 64:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_COMPLEX = @(54172:0| @(65:0| { { { @(66:0| { 28, 0 }), @(66:16| invalid), { { 66:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_FLOAT_COMPLEX = @(54174:0| @(67:0| { { { @(68:0| { 29, 0 }), @(68:16| invalid), { { 68:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_DOUBLE_COMPLEX = @(54176:0| @(69:0| { { { @(70:0| { 30, 0 }), @(70:16| invalid), { { 70:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_LONG_DOUBLE_COMPLEX = @(54178:0| @(71:0| { { { @(72:0| { 31, 0 }), @(72:16| invalid), { { 72:16 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_BYTE = @(54180:0| @(73:0| { { { @(74:0| { 7, 0 }), @(74:16| invalid), { { 74:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_PACKED = @(54182:0| @(75:0| { { { @(76:0| { 7, 0 }), @(76:16| invalid), { { 76:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT_INT = @(54184:0| @(77:0| { { { @(78:0| { 12, 0 }), @(78:32| invalid), { { 78:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE_INT = @(54186:0| @(79:0| { { { @(80:0| { 13, 0 }), @(80:32| invalid), { { 80:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_INT = @(54188:0| @(81:0| { { { @(82:0| { 3, 0 }), @(82:32| invalid), { { 82:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_2INT = @(54190:0| @(83:0| { { { @(84:0| { 2, 0 }), @(84:32| invalid), { { 84:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT_INT = @(54192:0| @(85:0| { { { @(86:0| { 1, 0 }), @(86:32| invalid), { { 86:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE_INT = @(54194:0| @(87:0| { { { @(88:0| { 14, 0 }), @(88:32| invalid), { { 88:32 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_MAX = @(54200:0| @(89:0| { 0 }))
- MPI_MIN = @(54202:0| @(90:0| { 1 }))
- MPI_SUM = @(54204:0| @(91:0| { 2 }))
- MPI_PROD = @(54206:0| @(92:0| { 3 }))
- MPI_MAXLOC = @(54208:0| @(93:0| { 4 }))
- MPI_MINLOC = @(54210:0| @(94:0| { 5 }))
- MPI_BAND = @(54212:0| @(95:0| { 6 }))
- MPI_BOR = @(54214:0| @(96:0| { 7 }))
- MPI_BXOR = @(54216:0| @(97:0| { 8 }))
- MPI_LAND = @(54218:0| @(98:0| { 9 }))
- MPI_LOR = @(54220:0| @(99:0| { 10 }))
- MPI_LXOR = @(54222:0| @(100:0| { 11 }))
- MPI_GROUP_EMPTY = @(54224:0| @(101:0| { { { null, null, { { null } } } } }))
- MPI_COMM_WORLD_ = @(54228:0| @(102:0| @(0:1| invalid)))
- MPI_COMM_SELF_ = @(54230:0| @(103:0| null))
- thread 0:
- #1: <_divine_start> [ entry.cpp:88 ] [ ctorcount = 6, ctors = 917274624, mainproto = 0, c = @(111:0| @(55986:96| invalid)), i = @(112:0| 6), r = @(113:0| 0?), i1 = @(114:0| 1) ]
- #2: <_divine_invoke_main_mpi> [ entry.cpp:49 ] [ mainproto = @(110:0| 0), r = @(116:0| 0), finalized = @(117:0| 1) ]
- thread 1:
- #1: <_divine_invoke_main_mpi> [ entry.cpp:33 ] [ mainproto = 110:0 <...>, r = @(119:0| 0?), finalized = @(120:0| 0?) ]
- #2: <_divine_invoke_main> [ entry.cpp:21 ] [ mainproto = 0, r = @(122:0| 0?) ]
- #3: <main> [ ../sanity_ltl.c:18 ] [ rank = @(124:0| 1) ]
- LTL: 0 ([ -2 ] -> 0; )
- fairness id = 2
- globals:
- key = @(48912:0| null)
- once = @(48914:0| { { 0, 0, 3, 0 } })
- stdin = @(48926:0| @(48927:0| { 48924:0 <...>, { null }, { [ 0, 0, 5, 0 ] }, 48930:0 <...>, 256, 0, 0, 0, 48935:0 <...>, 32778, { 0, { { [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ] }, 0, 0, 0 } }, null, 48941:0 <...> }))
- stdout = @(48967:0| 48941:0 <...>)
- stderr = @(48969:0| 48950:0 <...>)
- __cxa_terminate_handler = @(49914:0| 159:0)
- __cxa_unexpected_handler = @(49916:0| 160:0)
- __cxa_new_handler = @(50390:0| null)
- __dso_handle = @(54063:0| null)
- _mpi_num_processes = @(54069:0| 2)
- _mpi_enable_mpi_comm_self = @(54071:0| 0)
- _mpi_exit_barrier = @(54073:0| 1)
- MPI_CHAR = @(54116:0| @(9:0| { { { @(10:0| { 0, 0 }), @(10:16| invalid), { { 10:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT = @(54118:0| @(11:0| { { { @(12:0| { 1, 0 }), @(12:16| invalid), { { 12:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT = @(54120:0| @(13:0| { { { @(14:0| { 2, 0 }), @(14:16| invalid), { { 14:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG = @(54122:0| @(15:0| { { { @(16:0| { 3, 0 }), @(16:16| invalid), { { 16:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG_INT = @(54124:0| @(17:0| { { { @(18:0| { 4, 0 }), @(18:16| invalid), { { 18:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG = @(54126:0| @(19:0| { { { @(20:0| { 5, 0 }), @(20:16| invalid), { { 20:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SIGNED_CHAR = @(54128:0| @(21:0| { { { @(22:0| { 6, 0 }), @(22:16| invalid), { { 22:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_CHAR = @(54130:0| @(23:0| { { { @(24:0| { 7, 0 }), @(24:16| invalid), { { 24:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_SHORT = @(54132:0| @(25:0| { { { @(26:0| { 8, 0 }), @(26:16| invalid), { { 26:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED = @(54134:0| @(27:0| { { { @(28:0| { 9, 0 }), @(28:16| invalid), { { 28:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG = @(54136:0| @(29:0| { { { @(30:0| { 10, 0 }), @(30:16| invalid), { { 30:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG_LONG = @(54138:0| @(31:0| { { { @(32:0| { 11, 0 }), @(32:16| invalid), { { 32:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT = @(54140:0| @(33:0| { { { @(34:0| { 12, 0 }), @(34:16| invalid), { { 34:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE = @(54142:0| @(35:0| { { { @(36:0| { 13, 0 }), @(36:16| invalid), { { 36:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE = @(54144:0| @(37:0| { { { @(38:0| { 14, 0 }), @(38:16| invalid), { { 38:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_WCHAR = @(54146:0| @(39:0| { { { @(40:0| { 15, 0 }), @(40:16| invalid), { { 40:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_BOOL = @(54148:0| @(41:0| { { { @(42:0| { 16, 0 }), @(42:16| invalid), { { 42:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT8_T = @(54150:0| @(43:0| { { { @(44:0| { 17, 0 }), @(44:16| invalid), { { 44:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT16_T = @(54152:0| @(45:0| { { { @(46:0| { 18, 0 }), @(46:16| invalid), { { 46:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT32_T = @(54154:0| @(47:0| { { { @(48:0| { 19, 0 }), @(48:16| invalid), { { 48:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT64_T = @(54156:0| @(49:0| { { { @(50:0| { 20, 0 }), @(50:16| invalid), { { 50:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT8_T = @(54158:0| @(51:0| { { { @(52:0| { 21, 0 }), @(52:16| invalid), { { 52:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT16_T = @(54160:0| @(53:0| { { { @(54:0| { 22, 0 }), @(54:16| invalid), { { 54:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT32_T = @(54162:0| @(55:0| { { { @(56:0| { 23, 0 }), @(56:16| invalid), { { 56:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT64_T = @(54164:0| @(57:0| { { { @(58:0| { 24, 0 }), @(58:16| invalid), { { 58:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_AINT = @(54166:0| @(59:0| { { { @(60:0| { 25, 0 }), @(60:16| invalid), { { 60:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_COUNT = @(54168:0| @(61:0| { { { @(62:0| { 26, 0 }), @(62:16| invalid), { { 62:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_OFFSET = @(54170:0| @(63:0| { { { @(64:0| { 27, 0 }), @(64:16| invalid), { { 64:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_COMPLEX = @(54172:0| @(65:0| { { { @(66:0| { 28, 0 }), @(66:16| invalid), { { 66:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_FLOAT_COMPLEX = @(54174:0| @(67:0| { { { @(68:0| { 29, 0 }), @(68:16| invalid), { { 68:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_DOUBLE_COMPLEX = @(54176:0| @(69:0| { { { @(70:0| { 30, 0 }), @(70:16| invalid), { { 70:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_LONG_DOUBLE_COMPLEX = @(54178:0| @(71:0| { { { @(72:0| { 31, 0 }), @(72:16| invalid), { { 72:16 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_BYTE = @(54180:0| @(73:0| { { { @(74:0| { 7, 0 }), @(74:16| invalid), { { 74:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_PACKED = @(54182:0| @(75:0| { { { @(76:0| { 7, 0 }), @(76:16| invalid), { { 76:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT_INT = @(54184:0| @(77:0| { { { @(78:0| { 12, 0 }), @(78:32| invalid), { { 78:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE_INT = @(54186:0| @(79:0| { { { @(80:0| { 13, 0 }), @(80:32| invalid), { { 80:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_INT = @(54188:0| @(81:0| { { { @(82:0| { 3, 0 }), @(82:32| invalid), { { 82:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_2INT = @(54190:0| @(83:0| { { { @(84:0| { 2, 0 }), @(84:32| invalid), { { 84:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT_INT = @(54192:0| @(85:0| { { { @(86:0| { 1, 0 }), @(86:32| invalid), { { 86:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE_INT = @(54194:0| @(87:0| { { { @(88:0| { 14, 0 }), @(88:32| invalid), { { 88:32 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_MAX = @(54200:0| @(89:0| { 0 }))
- MPI_MIN = @(54202:0| @(90:0| { 1 }))
- MPI_SUM = @(54204:0| @(91:0| { 2 }))
- MPI_PROD = @(54206:0| @(92:0| { 3 }))
- MPI_MAXLOC = @(54208:0| @(93:0| { 4 }))
- MPI_MINLOC = @(54210:0| @(94:0| { 5 }))
- MPI_BAND = @(54212:0| @(95:0| { 6 }))
- MPI_BOR = @(54214:0| @(96:0| { 7 }))
- MPI_BXOR = @(54216:0| @(97:0| { 8 }))
- MPI_LAND = @(54218:0| @(98:0| { 9 }))
- MPI_LOR = @(54220:0| @(99:0| { 10 }))
- MPI_LXOR = @(54222:0| @(100:0| { 11 }))
- MPI_GROUP_EMPTY = @(54224:0| @(101:0| { { { null, null, { { null } } } } }))
- MPI_COMM_WORLD_ = @(54228:0| @(102:0| @(0:1| invalid)))
- MPI_COMM_SELF_ = @(54230:0| @(103:0| null))
- thread 0:
- #1: <_divine_start> [ entry.cpp:88 ] [ ctorcount = 6, ctors = 917274624, mainproto = 0, c = @(111:0| @(55986:96| invalid)), i = @(112:0| 6), r = @(113:0| 0?), i1 = @(114:0| 1) ]
- #2: <_divine_invoke_main_mpi> [ entry.cpp:49 ] [ mainproto = @(110:0| 0), r = @(116:0| 0), finalized = @(117:0| 1) ]
- thread 1:
- #1: <_divine_invoke_main_mpi> [ entry.cpp:33 ] [ mainproto = 110:0 <...>, r = @(119:0| 0?), finalized = @(120:0| 0?) ]
- #2: <_divine_invoke_main> [ entry.cpp:21 ] [ mainproto = 0, r = @(122:0| 0?) ]
- #3: <main> [ ../sanity_ltl.c:18 ] [ rank = @(124:0| 1) ]
- LTL: 0 ([ -2 ] -> 0; )
- fairness id = 3
- globals:
- key = @(48912:0| null)
- once = @(48914:0| { { 0, 0, 3, 0 } })
- stdin = @(48926:0| @(48927:0| { 48924:0 <...>, { null }, { [ 0, 0, 5, 0 ] }, 48930:0 <...>, 256, 0, 0, 0, 48935:0 <...>, 32778, { 0, { { [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], [ 0, 0, 0, 0, 0, 0, 0, 0 ] }, 0, 0, 0 } }, null, 48941:0 <...> }))
- stdout = @(48967:0| 48941:0 <...>)
- stderr = @(48969:0| 48950:0 <...>)
- __cxa_terminate_handler = @(49914:0| 159:0)
- __cxa_unexpected_handler = @(49916:0| 160:0)
- __cxa_new_handler = @(50390:0| null)
- __dso_handle = @(54063:0| null)
- _mpi_num_processes = @(54069:0| 2)
- _mpi_enable_mpi_comm_self = @(54071:0| 0)
- _mpi_exit_barrier = @(54073:0| 1)
- MPI_CHAR = @(54116:0| @(9:0| { { { @(10:0| { 0, 0 }), @(10:16| invalid), { { 10:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT = @(54118:0| @(11:0| { { { @(12:0| { 1, 0 }), @(12:16| invalid), { { 12:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT = @(54120:0| @(13:0| { { { @(14:0| { 2, 0 }), @(14:16| invalid), { { 14:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG = @(54122:0| @(15:0| { { { @(16:0| { 3, 0 }), @(16:16| invalid), { { 16:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG_INT = @(54124:0| @(17:0| { { { @(18:0| { 4, 0 }), @(18:16| invalid), { { 18:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_LONG = @(54126:0| @(19:0| { { { @(20:0| { 5, 0 }), @(20:16| invalid), { { 20:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SIGNED_CHAR = @(54128:0| @(21:0| { { { @(22:0| { 6, 0 }), @(22:16| invalid), { { 22:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_CHAR = @(54130:0| @(23:0| { { { @(24:0| { 7, 0 }), @(24:16| invalid), { { 24:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_SHORT = @(54132:0| @(25:0| { { { @(26:0| { 8, 0 }), @(26:16| invalid), { { 26:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED = @(54134:0| @(27:0| { { { @(28:0| { 9, 0 }), @(28:16| invalid), { { 28:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG = @(54136:0| @(29:0| { { { @(30:0| { 10, 0 }), @(30:16| invalid), { { 30:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UNSIGNED_LONG_LONG = @(54138:0| @(31:0| { { { @(32:0| { 11, 0 }), @(32:16| invalid), { { 32:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT = @(54140:0| @(33:0| { { { @(34:0| { 12, 0 }), @(34:16| invalid), { { 34:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE = @(54142:0| @(35:0| { { { @(36:0| { 13, 0 }), @(36:16| invalid), { { 36:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE = @(54144:0| @(37:0| { { { @(38:0| { 14, 0 }), @(38:16| invalid), { { 38:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_WCHAR = @(54146:0| @(39:0| { { { @(40:0| { 15, 0 }), @(40:16| invalid), { { 40:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_BOOL = @(54148:0| @(41:0| { { { @(42:0| { 16, 0 }), @(42:16| invalid), { { 42:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT8_T = @(54150:0| @(43:0| { { { @(44:0| { 17, 0 }), @(44:16| invalid), { { 44:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT16_T = @(54152:0| @(45:0| { { { @(46:0| { 18, 0 }), @(46:16| invalid), { { 46:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT32_T = @(54154:0| @(47:0| { { { @(48:0| { 19, 0 }), @(48:16| invalid), { { 48:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_INT64_T = @(54156:0| @(49:0| { { { @(50:0| { 20, 0 }), @(50:16| invalid), { { 50:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT8_T = @(54158:0| @(51:0| { { { @(52:0| { 21, 0 }), @(52:16| invalid), { { 52:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT16_T = @(54160:0| @(53:0| { { { @(54:0| { 22, 0 }), @(54:16| invalid), { { 54:16 <...> } } } }, 1, 0, 0, 0, 2, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT32_T = @(54162:0| @(55:0| { { { @(56:0| { 23, 0 }), @(56:16| invalid), { { 56:16 <...> } } } }, 1, 0, 0, 0, 4, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_UINT64_T = @(54164:0| @(57:0| { { { @(58:0| { 24, 0 }), @(58:16| invalid), { { 58:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_AINT = @(54166:0| @(59:0| { { { @(60:0| { 25, 0 }), @(60:16| invalid), { { 60:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_COUNT = @(54168:0| @(61:0| { { { @(62:0| { 26, 0 }), @(62:16| invalid), { { 62:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_OFFSET = @(54170:0| @(63:0| { { { @(64:0| { 27, 0 }), @(64:16| invalid), { { 64:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_COMPLEX = @(54172:0| @(65:0| { { { @(66:0| { 28, 0 }), @(66:16| invalid), { { 66:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_FLOAT_COMPLEX = @(54174:0| @(67:0| { { { @(68:0| { 29, 0 }), @(68:16| invalid), { { 68:16 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_DOUBLE_COMPLEX = @(54176:0| @(69:0| { { { @(70:0| { 30, 0 }), @(70:16| invalid), { { 70:16 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_C_LONG_DOUBLE_COMPLEX = @(54178:0| @(71:0| { { { @(72:0| { 31, 0 }), @(72:16| invalid), { { 72:16 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_BYTE = @(54180:0| @(73:0| { { { @(74:0| { 7, 0 }), @(74:16| invalid), { { 74:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_PACKED = @(54182:0| @(75:0| { { { @(76:0| { 7, 0 }), @(76:16| invalid), { { 76:16 <...> } } } }, 1, 0, 0, 0, 1, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_FLOAT_INT = @(54184:0| @(77:0| { { { @(78:0| { 12, 0 }), @(78:32| invalid), { { 78:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_DOUBLE_INT = @(54186:0| @(79:0| { { { @(80:0| { 13, 0 }), @(80:32| invalid), { { 80:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_INT = @(54188:0| @(81:0| { { { @(82:0| { 3, 0 }), @(82:32| invalid), { { 82:32 <...> } } } }, 1, 0, 0, 0, 16, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_2INT = @(54190:0| @(83:0| { { { @(84:0| { 2, 0 }), @(84:32| invalid), { { 84:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_SHORT_INT = @(54192:0| @(85:0| { { { @(86:0| { 1, 0 }), @(86:32| invalid), { { 86:32 <...> } } } }, 1, 0, 0, 0, 8, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_LONG_DOUBLE_INT = @(54194:0| @(87:0| { { { @(88:0| { 14, 0 }), @(88:32| invalid), { { 88:32 <...> } } } }, 1, 0, 0, 0, 32, 8, { { null, null, { { null } } } }, { { null, null, { { null } } } }, { { null, null, { { null } } } } }))
- MPI_MAX = @(54200:0| @(89:0| { 0 }))
- MPI_MIN = @(54202:0| @(90:0| { 1 }))
- MPI_SUM = @(54204:0| @(91:0| { 2 }))
- MPI_PROD = @(54206:0| @(92:0| { 3 }))
- MPI_MAXLOC = @(54208:0| @(93:0| { 4 }))
- MPI_MINLOC = @(54210:0| @(94:0| { 5 }))
- MPI_BAND = @(54212:0| @(95:0| { 6 }))
- MPI_BOR = @(54214:0| @(96:0| { 7 }))
- MPI_BXOR = @(54216:0| @(97:0| { 8 }))
- MPI_LAND = @(54218:0| @(98:0| { 9 }))
- MPI_LOR = @(54220:0| @(99:0| { 10 }))
- MPI_LXOR = @(54222:0| @(100:0| { 11 }))
- MPI_GROUP_EMPTY = @(54224:0| @(101:0| { { { null, null, { { null } } } } }))
- MPI_COMM_WORLD_ = @(54228:0| @(102:0| @(0:1| invalid)))
- MPI_COMM_SELF_ = @(54230:0| @(103:0| null))
- thread 0:
- #1: <_divine_start> [ entry.cpp:88 ] [ ctorcount = 6, ctors = 917274624, mainproto = 0, c = @(111:0| @(55986:96| invalid)), i = @(112:0| 6), r = @(113:0| 0?), i1 = @(114:0| 1) ]
- #2: <_divine_invoke_main_mpi> [ entry.cpp:49 ] [ mainproto = @(110:0| 0), r = @(116:0| 0), finalized = @(117:0| 1) ]
- thread 1:
- #1: <_divine_invoke_main_mpi> [ entry.cpp:33 ] [ mainproto = 110:0 <...>, r = @(119:0| 0?), finalized = @(120:0| 0?) ]
- #2: <_divine_invoke_main> [ entry.cpp:21 ] [ mainproto = 0, r = @(122:0| 0?) ]
- #3: <main> [ ../sanity_ltl.c:18 ] [ rank = @(124:0| 1) ]
- LTL: 0 ([ -2 ] -> 0; )
- fairness id = 0
- done
Add Comment
Please, Sign In to add comment