:: Int -> Bool package:sbv

Collection of known answer tests for SHA. Since these tests take too long during regular regression runs, we pass as an argument how many to run. Increase the below number to 24 to run all tests. We have:
>>> knownAnswerTests 1
True