Davy's Notes

2-18-2025 - Property-Based Testing

1 min read

let reverse_prop1 lst = List.length (reverse lst) = List.length lst;;
 
rev_prop_test1 = Test.make (list int) reverse_prop1;;
 
QCheck_runner.run_tests [rev_prop_test1];;

Graph View