simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

test: limit size of linexps in simplex tests

Browse source
This commit is contained in:
Simon Cruanes 2022-01-19 11:43:22 -05:00
parent a6c056969c
commit 04e9d5b93c
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/simplex/tests/test_simplex.real.ml
View file

@ -132,7 +132,7 @@ module Step = struct
let v = List.length vars in let v = List.length vars in
let gen = let gen =
let* vars' = G.shuffle_l vars in let* vars' = G.shuffle_l vars in
let* n = 1 -- List.length vars' in let* n = 1 -- min 12 (List.length vars') in
let vars' = CCList.take n vars' in let vars' = CCList.take n vars' in
assert (List.length vars' = n); assert (List.length vars' = n);
let* coeffs = list_repeat n rand_q.gen in let* coeffs = list_repeat n rand_q.gen in