I created simple range_check example, that is ensuring that value is in range 0..2^15.
Let me know if my constraints are correctly defined I tried to make comments that explicitly describe the stuff.
I added proptest! to dev dependencies to properly test the code.
I created simple
range_check
example, that is ensuring that value is in range0..2^15
.Let me know if my constraints are correctly defined I tried to make comments that explicitly describe the stuff. I added
proptest!
to dev dependencies to properly test the code.This change is