init simple proptest

Author: lherman-cs

Cargo.lock

@@ -10,3 +10,5 @@ authors.workspace = true
 license.workspace = true
 
 [dependencies]
+proptest = "1.9.0"
+test-strategy = "0.4.3"

pulsebeam-simulator/Cargo.toml

@@ -0,0 +1,3 @@
+pub fn add(a: u32, b: u32) -> u32 {
+    a + b
+}

pulsebeam-simulator/src/lib.rs

@@ -0,0 +1,16 @@
+use pulsebeam_simulator::add;
+use test_strategy::{Arbitrary, proptest};
+
+#[derive(Arbitrary, Debug)]
+struct TestInputStruct {
+    #[strategy(1..10u32)]
+    a: u32,
+
+    #[strategy(0..#a)]
+    b: u32,
+}
+
+#[proptest]
+fn my_test(input: TestInputStruct) {
+    assert_eq!(add(input.a, input.b), input.a + input.b);
+}