Fix Forkserver Example (#533)

* fix

* fix

* fix

* update

* change
This commit is contained in:
Dongjia Zhang 2022-02-11 18:41:07 +09:00 committed by GitHub
parent 53bc6e2318
commit d676363c64
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -87,7 +87,7 @@ pub fn main() {
let mut executor = ForkserverExecutor::builder() let mut executor = ForkserverExecutor::builder()
.program("./target/release/program".to_string()) .program("./target/release/program".to_string())
.arg("@@") .arg_input_file_std()
.shmem_provider(&mut shmem_provider) .shmem_provider(&mut shmem_provider)
.build(tuple_list!(bt_observer, edges_observer)) .build(tuple_list!(bt_observer, edges_observer))
.unwrap(); .unwrap();