package systematic

Get desktop application:
View/edit binary Protocol Buffers messages

Used in: SearchNodeProto

• required uint32 thd_uid = 1

• optional uint32 obj_uid = 2

• required Operation op = 3

• optional uint32 inst_id = 4

Used in: ExecutionProto

• required uint32 thd_uid = 1

• optional uint32 obj_uid = 2

• required Operation op = 3

• optional uint32 inst_id = 4

• optional uint64 tc = 5

• optional uint64 oc = 6

• optional bool yield = 7

• required uint32 num_execs = 1

• repeated ChessPorProto.VisitedStateProto visited_state = 2

Used in: ChessPorProto

• required uint32 hash_val = 1

• required uint32 preemptions = 2

• required uint32 exec_id = 3

• required uint32 state_idx = 4

Used in: ProgramProto

• required uint32 uid = 1

• required uint32 creator_uid = 2

• required uint32 creator_inst_id = 3

• required uint32 creator_idx = 4

• required uint64 offset = 5

• repeated ActionProto action = 1

• repeated StateProto state = 2

Used in: ActionInfoProto, ActionProto

• OP_INVALID = 0

• OP_THREAD_START = 1

• OP_THREAD_END = 2

• OP_THREAD_CREATE = 3

• OP_THREAD_JOIN = 4

• OP_MUTEX_LOCK = 11

• OP_MUTEX_UNLOCK = 12

• OP_MUTEX_TRYLOCK = 13

• OP_COND_WAIT = 21

• OP_COND_SIGNAL = 22

• OP_COND_BROADCAST = 23

• OP_COND_TIMEDWAIT = 24

• OP_BARRIER_INIT = 31

• OP_BARRIER_WAIT = 32

• OP_MEM_READ = 41

• OP_MEM_WRITE = 42

• OP_SLEEP = 51

• OP_USLEEP = 52

• OP_NANOSLEEP = 53

• OP_SCHED_YIELD = 54

• repeated ThreadProto thread = 1

• repeated SObjectProto sobject = 2

• repeated DObjectProto dobject = 3

Used in: ProgramProto

• required uint32 uid = 1

• required uint32 image_id = 2

• required uint64 offset = 3

• required bool done = 1

• required uint32 num_runs = 2

• repeated SearchNodeProto node = 3

Used in: SearchInfoProto

• required uint32 sel = 1

• repeated uint32 backtrack = 2

• repeated uint32 done = 3

• repeated ActionInfoProto enabled = 4

Used in: ExecutionProto

• repeated uint32 enabled = 1

• optional uint32 taken = 2

Used in: ProgramProto

• required uint32 uid = 1

• optional uint32 creator_uid = 2

• optional uint32 creator_idx = 3