MERCURY_OPTIONS= --deep-random-write=25 --mdb-disable-progress
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/tests/hard_coded'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/scripts/mmc --make --options-file - read_binary_int16.depend
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/tests/hard_coded'
make[3]: Entering directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/tests/hard_coded'
{ echo MCFLAGS += '--grade csharp     --options-file /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/Mercury.options --mercury-linkage static -j2 --flags ../TESTS_FLAGS --flags ../WS_FLAGS --use-subdirs    '; echo MCFLAGS += ' '; echo CFLAGS += '    '; echo JAVACFLAGS += '-J"-Xmx1024m"   '; echo CSCFLAGS += '   '; echo C2INITARGS += ' /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/library/mer_std.init /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/runtime/mer_rt.init    '; echo MLLIBS += '   '; echo MLOBJS += '  '; echo LDFLAGS += '  '; echo LD_LIBFLAGS += '  '; echo EXTRA_LIBRARIES += ''; echo EXTRA_LIB_DIRS += ''; echo LIBGRADES = 'hlc.gc  '; echo INSTALL_PREFIX = '/mnt/testing/run/install'; echo LINKAGE = 'shared'; echo MERCURY_LINKAGE = 'shared'; } | /mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/stage2/scripts/mmc --make --options-file - read_binary_int16
Making Mercury/int3s/read_binary_int16.int3
Making Mercury/ints/read_binary_int16.int
Making Mercury/css/read_binary_int16.cs
Making read_binary_int16.exe
{ [ -f read_binary_int16.inp ] && cat read_binary_int16.inp; } | ./read_binary_int16 > read_binary_int16.out 2>&1 || \
	{ grep . read_binary_int16.out /dev/null; exit 1; }
read_binary_int16.out:================
read_binary_int16.out:Input: []
read_binary_int16.out:Result: EOF (read big-endian)
read_binary_int16.out:================
read_binary_int16.out:Input: [0u8]
read_binary_int16.out:Uncaught Mercury exception:
read_binary_int16.out:io_error_exception_object("error closing file: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.", '<<foreign(system_error, System.ObjectDisposedException: Cannot access a disposed object.\nObject name: \'Stream has been closed\'.\n  at System.IO.FileStream.Write (System.Byte[] array, System.Int32 offset, System.Int32 count) [0x00010] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.FlushWrite () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Flush () [0x00012] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.BufferedStream.Dispose (System.Boolean disposing) [0x00011] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at System.IO.Stream.Close () [0x00000] in <12b418a7818c4ca0893feeaaf67f1e7f>:0 \n  at mercury.io__stream_ops.mercury_close (mercury.io__stream_ops+MR_MercuryFileStruct mf) [0x0003a] in <a8d8b1fcf1a9402790d37e1870f1db03>:0 \n  at mercury.io.close_binary_output_3_p_0 (mercury.io+Binary_output_stream_0 HeadVar__1_1) [0x00011] in <a8d8b1fcf1a9402790d37e1870f1db03>:0 )>>')
make[3]: *** [../Mmake.common:121: read_binary_int16.out] Error 1
make[3]: Target 'read_binary_int16.runtest' not remade because of errors.
make[3]: Leaving directory '/mnt/testing/run/build/mercury-srcdist-rotd-2024-07-19/tests/hard_coded'