mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
5574b7aa36
Estimated hours taken: 0.1 Branches: main tests/hard_coded/Mmakefile: tests/hard_coded/runtime_opt.exp: tests/hard_coded/runtime_opt.inp: Update this test case. It would report an error message when the chosen --detstack-size was less than the default --small-detstack-size.
5 lines
208 B
Plaintext
5 lines
208 B
Plaintext
--nondetstack-size-kwords=256 --small-nondetstack-size-kwords=256
|
|
--nondet-stack-size-kwords=256 --small-nondet-stack-size-kwords=256
|
|
--detstack-size=128 --small-detstack-size=128
|
|
--this-is-not-a-real-option
|