Test improvements - Githubissues

tweag / cooked-validators

MIT License

39 stars 11 forks source link

Test improvements #386

Closed mmontin closed 3 months ago

mmontin commented 3 months ago

This PR aims at:

[x] sorting out commented tests
[x] homogenizing test names
[x] fixing false validator issue
[x] removing the useless use of GADT in the initial distribution
[x] adding back the semigroup and monoid instances for InitialDistribution
[x] using the initial distribution in the double sat test suite