Add basic reads from support
authorBrian Demsky <bdemsky@uci.edu>
Wed, 18 Jul 2012 03:36:07 +0000 (20:36 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 31 Jul 2012 23:13:45 +0000 (16:13 -0700)
commite048b80fa298a5228d71466f4b84c1c64094f2f3
treed0b445bae550fedc0ee14656ab25ea270a431370
parent87d1cbc6f5149794253614a9f4b435ccd339e04e
Add basic reads from support

Now we need to use the cyclegraph to eliminate bad executions...
model.cc
nodestack.cc
nodestack.h