search

MichalHe / amaya

Mozilla Public License 2.0
7 stars 0 forks source link

Padding closure algorithm does not account for multiple final states. #3

Closed MichalHe closed 2 years ago

MichalHe commented 2 years ago

As the title suggests the algorithm does not account for the possibility of having multiple final states. Overall improvements in terms of readability should be achieved, when this will be fixed according to the new algorithm documented as a part of my Bachelors T.

MichalHe commented 2 years ago

Thanks for reporting! I've fixed this with the most recent version in the devel branch. It turns out there have been multiple problems with the padding closure algorithm (causing over-approximation of the state space), so it took some time to rework them all (especially the MTBDD support).