diff --git a/bsave.B100.v99 b/bsave.B100.v99 new file mode 100644 index 0000000000000000000000000000000000000000..f5db18b9950bc3c605ca3bab5c0b92818c09399a Binary files /dev/null and b/bsave.B100.v99 differ diff --git a/test.ecm b/test.ecm index e5cd26429bab043b060983b92b67721036ab3e3f..f99cf16485833de6b75534da1c24b9a330e747c8 100755 --- a/test.ecm +++ b/test.ecm @@ -337,6 +337,8 @@ if [ $GMP_NUMB_BITS -eq 64 ]; then fi $ECM -bloads test.s -param 0 11e3 < ${GMPECM_DATADIR}/c155; checkcode $? 1 /bin/rm -f test.s +# exercise wrong file format version error message +echo 17 | $ECM -bloads ${GMPECM_DATADIR}/bsave.B100.v99 -param 1 100 2>&1 | grep "File .* uses version 99 format of bsave files"; checkcode $? 0 # exercise "Error, invalid parametrization." error message $ECM -param 5-3 11e3 < ${GMPECM_DATADIR}/c155; checkcode $? 1