diff options
| -rw-r--r-- | src/VeriFuzz/AST.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index a2ebb32..d37b053 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -131,7 +131,7 @@ import Data.Traversable (sequenceA) import qualified Test.QuickCheck as QC positiveArb :: (QC.Arbitrary a, Ord a, Num a) => QC.Gen a -positiveArb = QC.suchThat QC.arbitrary (> 0) +positiveArb = abs <$> QC.suchThat QC.arbitrary (/= 0) -- | Identifier in Verilog. This is just a string of characters that can either -- be lowercase and uppercase for now. This might change in the future though, |