Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f5b098) | patch
Add "working" UDPOR on small examples with CommWait independence
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 19 Apr 2023 08:53:08 +0000 (10:53 +0200)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Fri, 9 Jun 2023 07:59:35 +0000 (09:59 +0200)
commitd55be44853d961bda7fcbcb20a7952d820d3f3d8
tree30d99f8494db0fd2919521471c1cc910ca508d7etree | snapshot
parent3f5b098545403be57b4f3d3f417b0fa0cb5c0ee6commit | diff
Add "working" UDPOR on small examples with CommWait independence

In forcing each CommWait transition to be
independent with all other CommWait transitions as
assumed in The Anh Pham's thesis, UDPOR appears to
correctly identify the errors in the few programs
that are used to test SimGrid's model checking
component.
src/mc/explo/UdporChecker.cpp diff | blob | history
src/mc/transition/TransitionComm.cpp diff | blob | history
Clone of SimGrid repository with local patches