----------------------------------------------------------------------------- -- | -- Module : TestSuite.CodeGeneration.Uninterpreted -- Copyright : (c) Levent Erkok -- License : BSD3 -- Maintainer : erkokl@gmail.com -- Stability : experimental -- -- Test suite for Data.SBV.Examples.CodeGeneration.Uninterpreted ----------------------------------------------------------------------------- module TestSuite.CodeGeneration.Uninterpreted(tests) where import Data.SBV.Internals import Data.SBV.Examples.CodeGeneration.Uninterpreted import Utils.SBVTestFramework -- Test suite tests :: TestTree tests = testGroup "CodeGeneration.Uninterpreted" [ goldenVsStringShow "cgUninterpret" genC ] where genC = compileToC' "tstShiftLeft" $ do cgSetDriverValues [1, 2, 3] [x, y, z] <- cgInputArr 3 "vs" cgReturn $ tstShiftLeft x y z