-
Notifications
You must be signed in to change notification settings - Fork 0
Fuzzer #5
Copy link
Copy link
Open
Labels
stretchA goal that may be too ambitious for a term project.A goal that may be too ambitious for a term project.uncertainIt's not clear if we want this featureIt's not clear if we want this feature
Description
Metadata
Metadata
Assignees
Labels
stretchA goal that may be too ambitious for a term project.A goal that may be too ambitious for a term project.uncertainIt's not clear if we want this featureIt's not clear if we want this feature
It would be interesting to define a fuzzer for the language, so that we can really stress test our evaluation function and maybe get more out of property based testing with QuickCheck. It is not immediately obvious to me how this should be done, now how useful it will be; it is probably a stretch goal.