History of
src
/
QuickCheckTests.hs
@master
git clone https://git.catseye.tc/Robin/
- Arrange licensing info in repo following REUSE 3.0 convention. Chris Pressey a month ago
- No abort values in quickcheck tests quite yet. Chris Pressey 3 years ago
- Remove `Macro` type internally, replace `macro?` with `operator?` Chris Pressey 3 years ago
- Better not to pretend that stock Hugs can handle the QuickCheck. Chris Pressey 3 years ago
- Almost allow the QuickCheck tests to run under Hugs. Chris Pressey 3 years ago
- Fix arbitrary instances. Successfully check multiple definitions! Chris Pressey 4 years ago
- Mostly write down some notes. Chris Pressey 4 years ago
- Consider macros to be intensionally equal. Chris Pressey 4 years ago
- First pass at QuickCheck-ing multiple definitions for equivalence. Chris Pressey 4 years ago
- Collect secondaryDefs. Need to test each against its primary def now. Chris Pressey 4 years ago
- More testing. Chris Pressey 4 years ago
- Refactor loadEnv into CmdLine module. Chris Pressey 4 years ago
- Add another test, which does not pass. Chris Pressey 4 years ago
- Add an Expr-based property test. Chris Pressey 4 years ago
- We have Arbitrary Exprs now, we just have to use them now... Chris Pressey 4 years ago
- Fix the QuickCheck tests. Chris Pressey 4 years ago
- Remove exprToEnv completely. Chris Pressey 4 years ago
- Use the noBuiltinsEnv when running some of these tests. Chris Pressey 4 years ago
- Fix QuickCheck tests. Chris Pressey 4 years ago
- Update QuickCheckTests. Must faster again now. Chris Pressey 4 years ago
- Checkpoint after fixing QuickCheck. Chris Pressey 4 years ago
- It was the tests that were wrong, not how I was using QuickCheck. Chris Pressey 4 years ago
- Checkpoint, with some refactoring. Chris Pressey 4 years ago
- Checkpoint. Chris Pressey 4 years ago
- Add another QuickCheck test, troubleshoot existing ones a bit. Chris Pressey 4 years ago
- Add some type annotations, rename some functions. Chris Pressey 4 years ago
- Closer, but still not ready for prime time. Chris Pressey 4 years ago
- Add two properties from the spec tests, but not ready for them. Chris Pressey 4 years ago
- Add a few rudimentary QuickCheck tests. Chris Pressey 4 years ago