From f6cad578be588004b0f643083b0ea1274c389462 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 22:49:24 +0100
Subject: Rename Assumed.fst to Primitives.fst and make progress on that

---
 rust-tests/src/main.rs | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

(limited to 'rust-tests')

diff --git a/rust-tests/src/main.rs b/rust-tests/src/main.rs
index 180ecdd6..125b0d76 100644
--- a/rust-tests/src/main.rs
+++ b/rust-tests/src/main.rs
@@ -13,6 +13,8 @@ fn main() {
         "Isize", "I8", "I16", "I32", "I64", "I128", "Usize", "U8", "U16", "U32", "U64", "U128",
     ];
 
+    let can_fail_binops_lower = ["div", "rem", "add", "sub", "mul"];
+
     let mut ints_pairs = vec![];
     for i in 0..ints_lower.len() {
         ints_pairs.push((&ints_lower[i], &ints_upper[i]));
@@ -124,8 +126,25 @@ fn main() {
     }
     println!("\n");
 
+    // Generate the scalar types for F*
+    for (lo, up) in &ints_pairs {
+        println!("type {} = scalar {}", lo, up);
+    }
+    println!("\n");
+
+    // Generate the unops (rk.: we need to manually filter `-` applied on
+    // unisgned numbers)
+    for binop in &can_fail_binops_lower {
+        for (lo, up) in &ints_pairs {
+            println!("let {}_{} = scalar_{} #{}", lo, binop, binop, up);
+        }
+        println!("");
+    }
+    println!("\n");
+
     // Modulo tests
     test_modulo(1, 2);
     test_modulo(-1, 2);
+    test_modulo(1, -2);
     test_modulo(-1, -2);
 }
-- 
cgit v1.2.3