diff options
Diffstat (limited to 'test/mpfrmemok1.ok')
| -rw-r--r-- | test/mpfrmemok1.ok | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/test/mpfrmemok1.ok b/test/mpfrmemok1.ok new file mode 100644 index 00000000..2389a2d5 --- /dev/null +++ b/test/mpfrmemok1.ok @@ -0,0 +1,7 @@ + + # BEGIN rule(s) + + BEGIN { + 1 v = 340282366920938463463374607431768211456 + } + |