MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/tests/valid_seq' /mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/stage2/scripts/mmc --generate-dependencies --grade asm_fast.gc.profdeep.stseg --mercury-linkage static --flags ../TESTS_FLAGS --flags ../WS_FLAGS --intermodule-optimization user_eq_pred_nested > user_eq_pred_nested.dep_err 2>&1 make[3]: *** [/tmp/mmake.t2v1gQ:9371: user_eq_pred_nested.depend] Error 1 make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-10-06/tests/valid_seq' FAILED TEST valid_seq/user_eq_pred_nested in grade asm_fast.gc.profdeep.stseg