pub fn new(
        program: il::Program,
        location: il::ProgramLocation,
        state: State,
        architecture: RC<Box<dyn Architecture>>,
    ) -> Driver {
        Driver {
            program,
            location,
            state,
            architecture,
            trace: Trace::new(),
        }
    }
/// Create a new `Driver` for symbolic execution over Falcon IL.
Create a new `Driver` for symbolic execution over Falcon IL.
Create a new ` Driver ` for symbolic execution over Falcon IL .
pub fn new(
        program: il::Program,
        location: il::ProgramLocation,
        state: State,
        architecture: RC<Box<dyn Architecture>>,
    ) -> Driver {
        Driver {
            program,
            location,
            state,
            architecture,
            trace: Trace::new(),
        }
    }
pub fn new ( program : il :: Program , location : il :: ProgramLocation , state : State , architecture : RC < Box < dyn Architecture > > , ) -> Driver { Driver { program , location , state , architecture , trace : Trace :: new ( ) , } }
Create a new `Driver` for symbolic execution over Falcon IL.
Create a new ` Driver ` for symbolic execution over Falcon IL .
program
il::Program
location
il::ProgramLocation
state
State
architecture
RC<Box<dyn Architecture>>