model: implement get_next_replay() and advance_backtracking_state()
authorBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:55:44 +0000 (10:55 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 20 Apr 2012 17:58:22 +0000 (10:58 -0700)
commitaee893bf48bb3d4c6df4b75f6cd867e52954ab2c
tree06153919239e67de8011bb98b6ea031d758f8119
parent94c12b28e9afeed050f40c3d2d625fa0e22f0387
model: implement get_next_replay() and advance_backtracking_state()
model.cc