Renamed QuickCheck to Test everywhere, since QuickCheck isn’t even used in the...
Renamed QuickCheck to Test everywhere, since QuickCheck isn’t even used in the automated testing module.
Showing
- javawlp.cabal 2 additions, 4 deletionsjavawlp.cabal
- src/LogicIR/Backend/Test.hs 32 additions, 33 deletionssrc/LogicIR/Backend/Test.hs
- src/SimpleFormulaChecker.hs 1 addition, 1 deletionsrc/SimpleFormulaChecker.hs
- test/Spec.hs 2 additions, 2 deletionstest/Spec.hs
- test/TIRTest.hs 3 additions, 3 deletionstest/TIRTest.hs
Loading
Please register or sign in to comment