We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d8fa253 commit f6dacb0Copy full SHA for f6dacb0
unit/analyses/variable-sensitivity/interval_abstract_value/meet.cpp
@@ -28,7 +28,7 @@ SCENARIO(
28
29
const auto varx = symbol_exprt(type);
30
const auto x_le_10 = binary_relation_exprt(varx, ID_le, val10);
31
- const auto lt_10_x = binary_relation_exprt(val10, ID_le, varx);
+ const auto lt_10_x = binary_relation_exprt(val10, ID_lt, varx);
32
33
const exprt val2 = from_integer(2, type);
34
const exprt val15 = from_integer(15, type);
0 commit comments