pub fn new(
        max_threads: usize,
        max_memory: usize,
        max_branches: usize,
        preemption_bound: Option<usize>,
    ) -> Execution {
        let id = Id::new();
        let mut threads = thread::Set::new(id, max_threads);

        // Create the root thread
        threads.new_thread();

        Execution {
            id,
            path: Path::new(max_branches, preemption_bound),
            threads,
            objects: object::Set::new(),
            arena: Arena::with_capacity(max_memory),
            max_threads,
            max_history: 7,
            log: false,
        }
    }
/// Create a new execution.
///
/// This is only called at the start of a fuzz run. The same instance is
/// reused across permutations.
Create a new execution.
This is only called at the start of a fuzz run. The same instance is
reused across permutations.
Create a new execution . This is only called at the start of a fuzz run . The same instance is reused across permutations .
pub fn new(
        max_threads: usize,
        max_memory: usize,
        max_branches: usize,
        preemption_bound: Option<usize>,
    ) -> Execution {
        let id = Id::new();
        let mut threads = thread::Set::new(id, max_threads);
        // Create the root thread
        threads.new_thread();
        Execution {
            id,
            path: Path::new(max_branches, preemption_bound),
            threads,
            objects: object::Set::new(),
            arena: Arena::with_capacity(max_memory),
            max_threads,
            max_history: 7,
            log: false,
        }
    }
pub fn new ( max_threads : usize , max_memory : usize , max_branches : usize , preemption_bound : Option < usize > , ) -> Execution { let id = Id :: new ( ) ; let mut threads = thread :: Set :: new ( id , max_threads ) ; // Create the root thread threads . new_thread ( ) ; Execution { id , path : Path :: new ( max_branches , preemption_bound ) , threads , objects : object :: Set :: new ( ) , arena : Arena :: with_capacity ( max_memory ) , max_threads , max_history : 7 , log : false , } }
Create a new execution.
Create a new execution .
max_threads
usize
max_memory
usize
max_branches
usize
preemption_bound
Option<usize>
max_threads
usize
max_memory
usize
max_branches
usize
preemption_bound
Option<usize>