1----------------------------------------------------------------------------- 2-- | 3-- Module : TestSuite.CodeGeneration.Uninterpreted 4-- Copyright : (c) Levent Erkok 5-- License : BSD3 6-- Maintainer: erkokl@gmail.com 7-- Stability : experimental 8-- 9-- Test suite for Documentation.SBV.Examples.CodeGeneration.Uninterpreted 10----------------------------------------------------------------------------- 11 12{-# OPTIONS_GHC -Wall -Werror #-} 13 14module TestSuite.CodeGeneration.Uninterpreted(tests) where 15 16import Data.SBV.Internals 17import Documentation.SBV.Examples.CodeGeneration.Uninterpreted 18 19import Utils.SBVTestFramework 20 21-- Test suite 22tests :: TestTree 23tests = testGroup "CodeGeneration.Uninterpreted" [ 24 goldenVsStringShow "cgUninterpret" genC 25 ] 26 where genC = thd <$> compileToC' "tstShiftLeft" (do cgSetDriverValues [1, 2, 3] 27 [x, y, z] <- cgInputArr 3 "vs" 28 cgReturn $ tstShiftLeft x y z) 29 thd (_, _, r) = r 30