Skip to content

Commit

Permalink
Fix max to 50, as this is always bytecode
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Nov 22, 2023
1 parent 25a0a33 commit 6f8741c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/threadomain/threadomain.ml
Original file line number Diff line number Diff line change
Expand Up @@ -215,7 +215,7 @@ let compile_prop sj =
0 = Sys.command "timeout 20 ocaml -I +unix -I +threads unix.cma threads.cma tmp.ml"

let nb_nodes =
let max = if Sys.word_size == 64 then 100 else 16 in
let max = 50 (*if Sys.word_size == 64 then 100 else 16*) in
Gen.int_range 2 max

let main_test = Test.make ~name:"Mash up of threads and domains"
Expand Down

0 comments on commit 6f8741c

Please sign in to comment.