Increased timeout

pull/2/head
ondra05 2023-07-26 02:30:22 +02:00
parent 4cd777fe49
commit d34a12b131
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::<_, 100>::new_validated(data, TestTrapHandler, Default::default()) {
if let Ok(mut vm) = Vm::<_, 4096>::new_validated(data, TestTrapHandler, Default::default()) {
let _ = vm.run();
}
});