X-Git-Url: https://git.distorted.org.uk/~mdw/catacomb/blobdiff_plain/6775a491555123da607656e31e0bcdfd70099aa0..6a024d24d97cb5d42c0091571735475b849f59f4:/math/t/ec

diff --git a/math/t/ec b/math/t/ec
index 9b57d6c4..9af65c8d 100644
--- 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"