Add a way to test `daedalus` reporting errors

GaloisInc / daedalus

The Daedalus data description language

BSD 3-Clause "New" or "Revised" License

63 stars 11 forks source link

Closed yav closed 11 months ago

yav commented 11 months ago

Currently our tests check what happens when we accept things (and we do accept them), but we also should check that we reject various things!