Closed martinmladenov closed 2 years ago
Added property-based tests
To test our code better
Closes #150
This also includes the changes from #152 as this bug affects our tests.
Description of changes made
Added property-based tests
Why is merge request needed
To test our code better
Other notes
Closes #150
This also includes the changes from #152 as this bug affects our tests.