diff options
| author |  Enrico Tassi <gares@fettunta.org> | 2014-03-18 16:13:22 +0100 |
|---|---|---|
| committer |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-03-18 16:21:26 +0100 |
| commit | aefba30e028bf1774f01f95a69a6a75b80206a5f (patch) | |
| tree | 574e3ce6ce694eb824308d7350048f8d4fdb2dac /checker/reduction.ml | |
| parent | d6e4513b844dbd551164868819c3a6ac9baf6c45 (diff) | |
STM: make the slave start from the most recent known state
Diffstat (limited to 'checker/reduction.ml')
0 files changed, 0 insertions, 0 deletions