diff --git a/notebooks/SearchBasedFuzzer.ipynb b/notebooks/SearchBasedFuzzer.ipynb index 7b26372ae..746816e5e 100644 --- a/notebooks/SearchBasedFuzzer.ipynb +++ b/notebooks/SearchBasedFuzzer.ipynb @@ -1217,9 +1217,9 @@ "| ------------- |:-------------:| -----:|\n", "| a == b | abs(a - b) | 1 |\n", "| a != b | 1 | abs(a - b) |\n", - "| a < b | b - a + 1 | a - b |\n", - "| a <= b | b - a | a - b + 1 |\n", - "| a > b | a - b + 1 | b - a |\n", + "| a < b | a - b + 1 | b - a |\n", + "| a <= b | a - b | b - a + 1 |\n", + "| a > b | b - a + 1 | a - b |\n", "\n", "\n", "Note that several of the calculations add a constant `1`. The reason for this is quite simple: Suppose we want to have `a < b` evaluate to true, and let `a = 27` and `b = 27`. The condition is not true, but simply taking the difference would give us a result of `0`. To avoid this, we have to add a constant value. It is not important whether this value is `1` -- any positive constant works."