[ example ] Make sorted list examples to be tested on bigger fuels

examples/sorted-list-so-comp/src/Data/List/Sorted/Gen.idr

@@ -10,6 +10,10 @@ import Deriving.DepTyCheck.Gen
 %logging "deptycheck.derive" 5
 %logging "deptycheck.derive.least-effort" 7
 
+GenOrderTuning "SomeHead".dataCon where
+  isConstructor = itIsConstructor
+  deriveFirst _ _ = [4]
+
 export
 genSortedList : Fuel -> Gen MaybeEmpty SortedList
 genSortedList = deriveGen

examples/sorted-list-so-comp/tests/gens/print/run

@@ -1 +1 @@
-../../../../../tests/derivation/_common/run
+../../../../../tests/lib/distribution/_common/run

examples/sorted-list-so-comp/tests/gens/sorted-big/Main.idr

@@ -0,0 +1,13 @@
+import Data.Fuel
+import Data.List
+import Data.List.Lazy
+import Data.List.Sorted.Gen
+
+import System.Random.Pure.StdGen
+
+%default total
+
+main : IO ()
+main = do
+  let vals = unGenTryN 10 someStdGen $ genSortedList $ limit 1000
+  Lazy.for_ vals $ putStrLn . show . sorted . toList

examples/sorted-list-so-comp/tests/gens/sorted-med/Main.idr

@@ -0,0 +1,13 @@
+import Data.Fuel
+import Data.List
+import Data.List.Lazy
+import Data.List.Sorted.Gen
+
+import System.Random.Pure.StdGen
+
+%default total
+
+main : IO ()
+main = do
+  let vals = unGenTryN 10 someStdGen $ genSortedList $ limit 100
+  Lazy.for_ vals $ putStrLn . show . sorted . toList

examples/sorted-list-so-comp/tests/gens/sorted-med/test.ipkg

@@ -0,0 +1,6 @@
+package a-test
+
+depends = sorted-list-so-comp
+
+executable = a-test
+main = Main

examples/sorted-list-so-comp/tests/gens/sorted-small/expected

@@ -0,0 +1,10 @@
+True
+True
+True
+True
+True
+True
+True
+True
+True
+True

examples/sorted-list-so-comp/tests/gens/sorted-small/run

@@ -0,0 +1,6 @@
+rm -rf build
+
+flock "$1" pack -q install-deps test.ipkg && \
+pack run test.ipkg
+
+rm -rf build

examples/sorted-list-so-comp/tests/gens/sorted-small/test.ipkg

@@ -0,0 +1,6 @@
+package a-test
+
+depends = sorted-list-so-comp
+
+executable = a-test
+main = Main

examples/sorted-list-so-full/tests/gens/print/run

@@ -1 +1 @@
-../../../../../tests/derivation/_common/run
+../../../../../tests/lib/distribution/_common/run

examples/sorted-list-tl-pred/tests/gens/distribution-length/DistrCheckCommon.idr

@@ -1 +1 @@
-../_common/DistrCheckCommon.idr
+../../../../../tests/lib/distribution/_common/DistrCheckCommon.idr

examples/sorted-list-tl-pred/tests/gens/distribution-length/run

@@ -1 +1 @@
-../_common/run
+../../../../../tests/lib/distribution/_common/run

examples/sorted-list-tl-pred/tests/gens/distribution-length/test.ipkg

@@ -2,4 +2,4 @@ package test
 
 main = CheckDistribution
 
-depends = deptycheck, sorted-list-so-comp, summary-stat
+depends = deptycheck, sorted-list-tl-pred, summary-stat

examples/sorted-list-tl-pred/tests/gens/sorted-big/Main.idr

@@ -0,0 +1,13 @@
+import Data.Fuel
+import Data.List
+import Data.List.Lazy
+import Data.List.Sorted.Gen
+
+import System.Random.Pure.StdGen
+
+%default total
+
+main : IO ()
+main = do
+  let vals = unGenTryN 10 someStdGen $ genSortedList $ limit 50
+  Lazy.for_ vals $ putStrLn . show . sorted . toList

examples/sorted-list-tl-pred/tests/gens/sorted-big/expected

@@ -0,0 +1,10 @@
+True
+True
+True
+True
+True
+True
+True
+True
+True
+True

examples/sorted-list-tl-pred/tests/gens/sorted-big/run

@@ -0,0 +1,6 @@
+rm -rf build
+
+flock "$1" pack -q install-deps test.ipkg && \
+pack run test.ipkg
+
+rm -rf build

examples/sorted-list-tl-pred/tests/gens/sorted-med/Main.idr

@@ -0,0 +1,13 @@
+import Data.Fuel
+import Data.List
+import Data.List.Lazy
+import Data.List.Sorted.Gen
+
+import System.Random.Pure.StdGen
+
+%default total
+
+main : IO ()
+main = do
+  let vals = unGenTryN 10 someStdGen $ genSortedList $ limit 10
+  Lazy.for_ vals $ putStrLn . show . sorted . toList

examples/sorted-list-tl-pred/tests/gens/sorted-med/expected

@@ -0,0 +1,10 @@
+True
+True
+True
+True
+True
+True
+True
+True
+True
+True

examples/sorted-list-tl-pred/tests/gens/sorted-med/run

@@ -0,0 +1,6 @@
+rm -rf build
+
+flock "$1" pack -q install-deps test.ipkg && \
+pack run test.ipkg
+
+rm -rf build

examples/sorted-list-tl-pred/tests/gens/sorted-med/test.ipkg

@@ -0,0 +1,6 @@
+package a-test
+
+depends = sorted-list-tl-pred
+
+executable = a-test
+main = Main

examples/sorted-list-tl-pred/tests/gens/sorted-small/expected

@@ -0,0 +1,10 @@
+True
+True
+True
+True
+True
+True
+True
+True
+True
+True

examples/sorted-list-tl-pred/tests/gens/sorted-small/run

@@ -0,0 +1,6 @@
+rm -rf build
+
+flock "$1" pack -q install-deps test.ipkg && \
+pack run test.ipkg
+
+rm -rf build

examples/sorted-list-tl-pred/tests/gens/sorted-small/test.ipkg

@@ -0,0 +1,6 @@
+package a-test
+
+depends = sorted-list-tl-pred
+
+executable = a-test
+main = Main

examples/uniq-list/tests/gens/uniq-vect-distr/DistrCheckCommon.idr

@@ -1 +1 @@
-../_common/DistrCheckCommon.idr
+../../../../../tests/lib/distribution/_common/DistrCheckCommon.idr

examples/uniq-list/tests/gens/uniq-vect-distr/run

@@ -1 +1 @@
-../_common/run
+../../../../../tests/lib/distribution/_common/run