model: change 'struct model_checker' to 'class ModelChecker'
authorBrian Norris <banorris@uci.edu>
Wed, 14 Mar 2012 22:05:54 +0000 (15:05 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 14 Mar 2012 22:05:54 +0000 (15:05 -0700)
commitdcd84cc88d70497bdc173c4bb78ce30afe4fb5c5
tree922279b18dfcec2bb1c28e31c52ead4b4e728855
parentbc8b25511308f54b4ced6e9b70d2e987d612b4af
model: change 'struct model_checker' to 'class ModelChecker'
libthreads.c
model.c
model.h
schedule.c
schedule.h