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