]> AND Public Git Repository - simgrid.git/blob - examples/s4u/replay-storage/s4u-replay-storage.txt
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove option 'model-check/record': paths are recorded in any cases
[simgrid.git] / examples / s4u / replay-storage / s4u-replay-storage.txt
1 p0 open /home/lib/libsimgrid.so.3.6.2  
2 p0 read /home/lib/libsimgrid.so.3.6.2 12710497
3 p0 close /home/lib/libsimgrid.so.3.6.2