Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 789c46b) | patch
Allow to control the problem size from the cmd line, and reduce the instance in MC
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 26 Feb 2023 16:17:19 +0000 (17:17 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 26 Feb 2023 16:20:27 +0000 (17:20 +0100)
commitb060880e24efd3d1862694ab007a8b98c42adcc7
tree9f3d92f9a3ed695f49a50a96d588c2b7d9630284tree | snapshot
parent789c46b6d39f801c691536a604f0a201fb1755dacommit | diff
Allow to control the problem size from the cmd line, and reduce the instance in MC

The previous instance size resulted in a timeout now that the DPOR
reduction is less efficient (because it's less buggy)
examples/sthread/pthread-mc-producer-consumer.tesh diff | blob | history
examples/sthread/pthread-producer-consumer.c diff | blob | history
Clone of SimGrid repository with local patches