search

johnynek / bosatsu

A python-ish pure and total functional programming language
Apache License 2.0
223 stars 11 forks source link

Add basic property testing #1102

Closed johnynek closed 6 months ago

johnynek commented 6 months ago

this gives an example of a basic property testing library for bosatsu.

Hopefully this makes it easier to write more powerful tests directly in bosatsu.

codecov-commenter commented 6 months ago

Codecov Report

Attention: 1 lines in your changes are missing coverage. Please review.

Comparison is base (78a2951) 92.32% compared to head (bf6c3fc) 92.52%.

Files Patch % Lines
...n/scala/org/bykn/bosatsu/codegen/python/Code.scala 83.33% 1 Missing :warning:

:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #1102 +/- ## ========================================== + Coverage 92.32% 92.52% +0.20% ========================================== Files 94 94 Lines 10704 10755 +51 Branches 2493 2520 +27 ========================================== + Hits 9882 9951 +69 + Misses 822 804 -18 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.

johnynek commented 5 months ago

closes #322