From 990a37a6a756847cbeb7183f5b581bca65454d38 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Chud=C3=AD=C4=8Dek?= Date: Sun, 12 Nov 2023 01:31:23 +0100 Subject: [PATCH] refactor: lib.rs cleanup --- src/lib.rs | 16 +--------------- 1 file changed, 1 insertion(+), 15 deletions(-) diff --git a/src/lib.rs b/src/lib.rs index 008f465..52fa9a5 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -1,31 +1,17 @@ pub use prototype::reachability_benchmark; // this is the only one that should be publicly exported for now pub mod prelude; // not `prelude::*`; we want to be explicit about what we import +mod prototype; mod symbolic_domain; - // TODO: // Once this becomes a library, this needs to become private, but for now it is convenient // to have it accessible from outside binaries. pub mod test_utils; -pub fn add(x: i32, y: i32) -> i32 { - x + y -} - -// expose the prototype module -mod prototype; - #[cfg(test)] mod tests { use crate::prototype::{Expression, UpdateFn}; - use super::add; - - #[test] - pub fn test() { - assert_eq!(5, add(2, 3)); - } - #[test] pub fn test_expression() { // let xml = r#" // too basic