fix: bug in shrink, thanks @rkuhn!

stevana · stevana · commit c4b7226174f1 · 2025-07-31T10:59:00.000+02:00
Signed-off-by: Stevan A &lt;stevana@users.noreply.github.com&gt;
diff --git a/simulation/amaru-sim/src/simulator/shrink.rs b/simulation/amaru-sim/src/simulator/shrink.rs
@@ -54,7 +54,7 @@ pub fn shrink<A: Debug + Clone, B: Debug>(
                 number_of_shrinks += 1;
                 last_error = result;
                 input = complement;
-                n = n.max(2) - 1;
+                n = (n - 1).max(2);
                 some_complement_is_failing = true;
                 break;
             }

Original file line number	Diff line number	Diff line change
`@@ -54,7 +54,7 @@ pub fn shrink<A: Debug + Clone, B: Debug>(`
`54`	`54`	`number_of_shrinks += 1;`
`55`	`55`	`last_error = result;`
`56`	`56`	`input = complement;`
`57`		`- n = n.max(2) - 1;`
	`57`	`+ n = (n - 1).max(2);`
`58`	`58`	`some_complement_is_failing = true;`
`59`	`59`	`break;`
`60`	`60`	`}`