add tests crate

rr_frontend/case_studies/tests/Cargo.toml

+[package]
+name = "tests"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]

rr_frontend/case_studies/tests/RefinedRust.toml

+#output_dir="./output"
+run_check = false

rr_frontend/case_studies/tests/src/enums.rs

+#![rr::import("refinedrust.extra_proofs.tests.enums", "enums")]
+
+enum Option<T> {
+    None,
+    Some(T)
+}
+
+impl<T> Option<T> {
+    pub fn none() -> Self {
+        Self::None
+    }
+
+    pub fn some(x : T) -> Self {
+        Self::Some(x)
+    }
+}
+
+//#[repr(usize)]
+#[rr::refined_by("sizes")]
+enum sizes {
+    #[rr::pattern("Sz1")]
+    #[rr::variant("()")]
+    Sz1,
+    #[rr::pattern("Sz2")]
+    #[rr::variant("()")]
+    Sz2,
+}
+
+impl sizes {
+    #[rr::returns("Sz1")]
+    pub fn new() -> Self {
+        Self::Sz1
+    }
+}

rr_frontend/case_studies/tests/src/lib.rs

+#![feature(register_tool)]
+#![register_tool(rr)]
+#![feature(custom_inner_attributes)]
+
+mod enums;
+mod structs;

rr_frontend/case_studies/tests/src/structs.rs

+
+struct Pair<T, U> {
+    x: T,
+    y: U,
+}
+
+impl<T, U> Pair<T, U> {
+
+    #[rr::params(x, y)]
+    #[rr::args("x", "y")]
+    #[rr::returns("+[#x; #y]")]
+    pub fn new(x: T, y: U) -> Self {
+        Self{x, y}
+    }
+}