search

Pathemeous / Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem
GNU General Public License v2.0
2 stars 0 forks source link

SmpTrfS5: avoid duplicate code, import original Symbolic.S5 instead #11

Closed m4lvin closed 3 months ago

m4lvin commented 3 months ago

This should resolve the code duplication problem you described on Zulip.

See my added comment in the top of SmpTrfS5.hs

stack test still works :-)

Pathemeous commented 3 months ago

Thanks!