search

nick8325 / quickspec

Equational laws for free
BSD 3-Clause "New" or "Revised" License
250 stars 24 forks source link

HugeLists.hs doesn't work properly #37

Open nick8325 opened 6 years ago

nick8325 commented 6 years ago

Doesn't print signature/doesn't seem to generate any laws?!

nick8325 commented 6 years ago

In fact, it does, eventually. However, first it spends ages exploring the (empty) background signature!

MaximilianAlgehed commented 6 years ago

When exploring the empty background signature it says its testing terms. However, there doesn't seem to be any terms being tested.