Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa473b3) | patch
Move state stack management to member on UnfoldingChecker
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Thu, 23 Mar 2023 08:19:08 +0000 (09:19 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Wed, 5 Apr 2023 08:37:20 +0000 (10:37 +0200)
commit77ad1a8b0a571bb6d239b4acec1519f66ae92aa4
treee010682687e15792873d1ced1024b6ab86242895tree | snapshot
parentfa473b3717e9edbf6b68bfc9e7029284c7a6ca94commit | diff
Move state stack management to member on UnfoldingChecker

Instead of passing around the variable `state_stack`
in a number of arguments in the UnfoldingChecker,
we moved the stack into a member on the class. This
also allows us to give a textual trace of what UDPOR
is searching much in the same way as is done with
DFSExplorer
src/mc/explo/UdporChecker.cpp diff | blob | history
src/mc/explo/UdporChecker.hpp diff | blob | history
src/mc/explo/udpor/ExtensionSetCalculator.cpp diff | blob | history
Clone of SimGrid repository with local patches