turion / rhine

Haskell Functional Reactive Programming framework with type-level clocks
http://hackage.haskell.org/package/rhine
121 stars 21 forks source link

Use coverage check to get close to full coverage #150

Open turion opened 3 years ago

turion commented 3 years ago

I want to test that no type-checking combination of clocks and signal components ever crashes. This could be achieved with QuickCheck/SmallCheck/... and a coverage test as in https://wiki.haskell.org/Haskell_program_coverage.