Closed pfdietz closed 3 years ago
I added a bunch of tests for coverage (measured using sb-cover). The tests revealed some bugs. I have reported some already, and here I fixed a bug in powerset.
I added a bunch of tests for coverage (measured using sb-cover). The tests revealed some bugs. I have reported some already, and here I fixed a bug in powerset.