monster/engine/mod.rs
1pub mod bug;
2pub mod memory;
3pub mod rarity_simulation;
4pub mod symbolic_execution;
5pub mod symbolic_state;
6pub mod system;
7
8pub use bug::*;
9pub use memory::*;
10pub use rarity_simulation::*;
11pub use symbolic_execution::*;
12
13use riscu::Program;
14pub trait BugFinder<Info, Error>
15where
16 Info: BugInfo,
17 Error: std::error::Error,
18{
19 fn search_for_bugs(&self, program: &Program) -> Result<Option<Bug<Info>>, Error>;
20}