diff options
Diffstat (limited to 'test/mpfrmemok1.awk')
| -rw-r--r-- | test/mpfrmemok1.awk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/mpfrmemok1.awk b/test/mpfrmemok1.awk new file mode 100644 index 00000000..9331a34d --- /dev/null +++ b/test/mpfrmemok1.awk @@ -0,0 +1,7 @@ +# This program tests that -M works with profiling. +# It does not do anything real, but there should not be glibc memory +# errors and it should be valgrind-clean too. + +BEGIN { + v = 0x0100000000000000000000000000000000 +} |