stupid bug fix

2024-08-16 15:53:21 +02:00 · 2024-08-16 15:53:21 +02:00 · bf7ad374a0
commit bf7ad374a0
parent de9c0a6d1e
1 changed files with 1 additions and 1 deletions
--- a/fuzzers/FRET/src/systemstate/mod.rs
+++ b/fuzzers/FRET/src/systemstate/mod.rs
@ -21,7 +21,7 @@ pub mod mutational;
 pub mod report;

 // Constants
-const NUM_PRIOS: usize = 5;
+const NUM_PRIOS: usize = 15;

 //============================= Struct definitions