Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : in second test unit, snapshot comparison done before MC_UNSET_RAW_MEM...
[simgrid.git] / examples / msg / link5_state.trace
2009-06-06 alegrandUpdate test file now that state traces are better managed.
2007-08-14 alegrandAdding a masterslave example with failures.