
# LANGUAGE DataKinds #
# LANGUAGE NoImplicitPrelude #
module Smten.Tests.MiniSat (main) where

import Smten.Prelude
import qualified Smten.Tests.SMT.Core as Core
import qualified Smten.Tests.SMT.Datatype as Datatype
import qualified Smten.Tests.SMT.Bit as Bit
import Smten.Tests.SMT.Test
import Smten.Search.Solver.MiniSat

main :: IO ()
main = do
    runtest (SMTTestCfg minisat [] []) Core.smttests
    putStrLn "MiniSat.SMT.Core PASSED"

    runtest (SMTTestCfg minisat [] []) Datatype.smttests
    putStrLn "MiniSat.SMT.Datatype PASSED"

    runtest (SMTTestCfg minisat [
      "SMT.Bit.Lsh", "SMT.Bit.Lshr", "SMT.Bit.udiv/urem"] []) Bit.smttests
    putStrLn "MiniSat.SMT.Bit PASSED"



# LANGUAGE DataKinds #
# LANGUAGE NoImplicitPrelude #
module Smten.Tests.MiniSat (main) where

import Smten.Prelude
import qualified Smten.Tests.SMT.Core as Core
import qualified Smten.Tests.SMT.Datatype as Datatype
import qualified Smten.Tests.SMT.Bit as Bit
import Smten.Tests.SMT.Test
import Smten.Search.Solver.MiniSat

main :: IO ()
main = do
    runtest (SMTTestCfg minisat [] []) Core.smttests
    putStrLn "MiniSat.SMT.Core PASSED"

    runtest (SMTTestCfg minisat [] []) Datatype.smttests
    putStrLn "MiniSat.SMT.Datatype PASSED"

    runtest (SMTTestCfg minisat [
      "SMT.Bit.Lsh", "SMT.Bit.Lshr", "SMT.Bit.udiv/urem"] []) Bit.smttests
    putStrLn "MiniSat.SMT.Bit PASSED"

