math/ec-raw.[ch] (ec_ec2osp): Check that the requested flags are sane.

[catacomb] / math / t / ec

diff --git a/math/t/ec b/math/t/ec
index 9b57d6c..9af65c8 100644 (file)
--- a/math/t/ec
+++ b/math/t/ec
@@ -462,6 +462,32 @@ mul {
 }
 
 ec2osp {
+  ## Make sure some things which I expect to fail actually do.
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    3 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    5 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    7 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    8 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    9 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    11 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    13 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+  "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
+    15 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"
+    FAIL;
+
   ## Some automated tests, from `ec-compr-test.sage'.
   "prime: 6277101735386680763835789423207666416102355444464034512659; prime: -3, 6"
     1 "0x4a4edd749b4e809ddf0ecdb0cddd64b64f4558816ef243f5, 0xb3cef6f7f891a23d823aa01e96a74a3890cf71f4032d49d"