From 7a2ea44ce647342539bbedca5639bae5de15de83 Mon Sep 17 00:00:00 2001
From: Henry & Isis <henry+isis@en.ciph.re>
Date: Sat, 11 Mar 2017 12:01:29 -0800
Subject: [PATCH] Test multiplication by basepoint order

---
 src/curve.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/curve.rs b/src/curve.rs
index beb92a3..903375a 100644
--- a/src/curve.rs
+++ b/src/curve.rs
@@ -1270,6 +1270,13 @@ mod test {
         assert_eq!(aB.compress_edwards(), A_TIMES_BASEPOINT);
     }
 
+    /// Test that multiplication by the basepoint order kills the basepoint
+    #[test]
+    fn basepoint_mult_by_basepoint_order() {
+        let should_be_id = ExtendedPoint::basepoint_mult(&constants::l);
+        assert!(should_be_id.is_identity());
+    }
+
     /// Test scalar_mult versus a known scalar multiple from ed25519.py
     #[test]
     fn scalar_mult_vs_ed25519py() {