1-----------------------------------------------------------------------------
2-- |
3-- Module    : TestSuite.Basics.TOut
4-- Copyright : (c) Levent Erkok
5-- License   : BSD3
6-- Maintainer: erkokl@gmail.com
7-- Stability : experimental
8--
9-- Test the basic timeout mechanism
10-----------------------------------------------------------------------------
11
12{-# OPTIONS_GHC -Wall -Werror #-}
13
14module TestSuite.Basics.TOut(tests)  where
15
16import Documentation.SBV.Examples.Puzzles.Euler185
17
18import Utils.SBVTestFramework
19
20-- Test suite
21tests :: TestTree
22tests =
23  testGroup "Basics.timeout"
24    [ goldenVsStringShow "timeout1" $ sat $ setTimeOut 1000 >> euler185
25    ]
26