research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

make argus the common crate

Browse source
This commit is contained in:
Anand Balakrishnan 2023-10-03 17:13:20 -07:00
parent 0df9aba559
commit db3a63f9e1
No known key found for this signature in database
1 changed files with 4 additions and 13 deletions
Download patch file Download diff file Expand all files Collapse all files

17
argus/src/lib.rs
View file

@ -1,14 +1,5 @@
pub fn add(left: usize, right: usize) -> usize {
left + right
}
#[cfg(test)]
mod tests {
use super::*;
#[test]
fn it_works() {
let result = add(2, 2);
assert_eq!(result, 4);
}
pub mod prelude {
pub use argus_core::prelude::*;
pub use argus_parser::parse_str;
pub use argus_semantics::{BooleanSemantics, QuantitativeSemantics, Trace};
}