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