Decreased timeout

pull/2/head
ondra05 2023-07-26 02:35:27 +02:00
parent 7da65c25ce
commit db4412e65d
No known key found for this signature in database
GPG Key ID: 0DA6D2BB2285E881
1 changed files with 1 additions and 1 deletions

View File

@ -9,7 +9,7 @@ use {
};
fuzz_target!(|data: &[u8]| {
if let Ok(mut vm) = Vm::<_, 65536>::new_validated(data, TestTrapHandler, Default::default()) {
if let Ok(mut vm) = Vm::<_, 16384>::new_validated(data, TestTrapHandler, Default::default()) {
let _ = vm.run();
}
});