The current tests are an ad-hoc construction of property based testing, but they are by no means exhaustive. It would be good to utilize PropCheck.jl for this, so that we can increase the trust in the correctness of the code.
This is particularly important for testing larger field sizes, as those are currently quite untested (in spite of coverage claiming that they are).
The current tests are an ad-hoc construction of property based testing, but they are by no means exhaustive. It would be good to utilize PropCheck.jl for this, so that we can increase the trust in the correctness of the code.
This is particularly important for testing larger field sizes, as those are currently quite untested (in spite of coverage claiming that they are).
https://github.com/Seelengrab/FieldFlags.jl/blob/9d9591e978de9959636c1c0fe8792fe8538219b8/test/runtests.jl#L6-L11