Skip to content

Commit ed13b18

Browse files
author
martin
committed
Correct a typo in the creation of an interval
Thankfully the names of the variables and the description of the tests makes it clear that this was a typo. Documentation FTW!
1 parent 90adf92 commit ed13b18

File tree

1 file changed

+1
-1
lines changed
  • unit/analyses/variable-sensitivity/interval_abstract_value

1 file changed

+1
-1
lines changed

unit/analyses/variable-sensitivity/interval_abstract_value/meet.cpp

+1-1
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ SCENARIO(
2828

2929
const auto varx = symbol_exprt(type);
3030
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);
31+
const auto lt_10_x = binary_relation_exprt(val10, ID_lt, varx);
3232

3333
const exprt val2 = from_integer(2, type);
3434
const exprt val15 = from_integer(15, type);

0 commit comments

Comments
 (0)