Merge pull request #209 from akordavid373/feature/property-based-testing

Feature/property based testing

Author: ISTIFANUS-N

contracts/teachlink/Cargo.toml

@@ -16,6 +16,10 @@ soroban-sdk.workspace = true
 
 [dev-dependencies]
 soroban-sdk = { workspace = true, features = ["testutils"] }
+proptest = "1.4"
+proptest-derive = "0.4"
+quickcheck = "1.0"
+quickcheck_macros = "1.0"
 
 [lints]
 workspace = true

contracts/teachlink/src/lib.rs

@@ -128,6 +128,7 @@ mod storage;
 mod tokenization;
 mod types;
 pub mod validation;
+pub mod property_based_tests;
 
 pub use crate::types::{
     ColorBlindMode, ComponentConfig, DeviceInfo, FeedbackCategory, FocusStyle, FontSize,