Changed pedantic to strict and changed default behaviour

CTSRD-CHERI / QuickCheckVEngine

A RISC-V TestRIG Verification Engine based on QuickCheck

BSD 2-Clause "Simplified" License

7 stars 10 forks source link

Closed francislaus closed 6 months ago

francislaus commented 6 months ago

Changed the pedantic option to be named strict. This also changes the default behaviour to relaxed comparisons.