From ae2b1b71a91d60d3bd1dfb21fce98c05c1a4fcbb Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 26 Nov 2024 15:25:13 +0100
Subject: WIP accum top-level args

---
 test/Main.hs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'test')

diff --git a/test/Main.hs b/test/Main.hs
index 7cb15d5..d18884e 100644
--- a/test/Main.hs
+++ b/test/Main.hs
@@ -24,7 +24,6 @@ import Hedgehog.Main
 import Array
 import AST
 import AST.Pretty
-import CHAD (defaultConfig)
 import CHAD.Top
 import CHAD.Types
 import qualified Example
@@ -238,7 +237,7 @@ term_pairs = fromNamed $ lambda #x $ lambda #y $ body $
     fst_ #q * #x + snd_ #q * fst_ #p
 
 tests :: IO Bool
-tests = checkSequential $ Group "AD"
+tests = checkParallel $ Group "AD"
   [("id", adTest $ fromNamed $ lambda #x $ body $ #x)
 
   ,("idx0", adTest $ fromNamed $ lambda #x $ body $ idx0 #x)
-- 
cgit v1.2.3-70-g09d2