Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add tests for the Unfolding object
authorMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 21 Feb 2023 09:35:37 +0000 (10:35 +0100)
committerMaxwell Pirtle <maxwellpirtle@gmail.com>
Tue, 21 Feb 2023 09:35:37 +0000 (10:35 +0100)
commit71fb5f152029e50b439fa61bd8b8a9ce272fe6c5
tree19e0e9965b787f28233cc2e3005f66e420d9fc0f
parentd46084304d833b121ab0e10ef90ba7fd27906621
Add tests for the Unfolding object

The Unfolding object currently doesn't have much functionality,
so there is not much that needs to be tested with it. It is
effectively a wrapper around a collection of std::unique_ptr.
Eventually, more functionality may be added when more of the
implementation of UDPOR is added, although its use will still
be quite limited even later
src/mc/explo/udpor/Unfolding.cpp
src/mc/explo/udpor/Unfolding_test.cpp