We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8a75394 commit 43c8d74Copy full SHA for 43c8d74
tests/gen_program.ml
@@ -208,7 +208,7 @@ let _ =
208
let test_count = ref 100 in
209
let globals_count = ref 3 in
210
let value_limit = ref 3 in
211
- let operations_count = ref 6 in
+ let operations_count = ref 3 in
212
let thread_count = ref 3 in
213
let generate_conditionals = ref true in
214
let print_tests = ref false in
0 commit comments