More fuzzing changes
authorbdemsky <bdemsky@uci.edu>
Tue, 4 Jun 2019 22:35:47 +0000 (15:35 -0700)
committerbdemsky <bdemsky@uci.edu>
Wed, 5 Jun 2019 00:59:04 +0000 (17:59 -0700)
commit38c72a8748ae74a5bb8b75e713f363a49b48e7af
tree8b105554913d4ee4a33aca2eb3b458dc785d8e5e
parenta7df00de36ef87549b654cfbc5c6b098cbba7a5b
More fuzzing changes
17 files changed:
action.h
classlist.h [new file with mode: 0644]
clockvector.h
cyclegraph.h
datarace.h
execution.cc
execution.h
main.cc
model.cc
model.h
nodestack.cc
nodestack.h
params.h
pthread.cc
schedule.h
test/userprog.c
threads-model.h