Skip to content

Commit

Permalink
Deal with deprecated negative operands.
Browse files Browse the repository at this point in the history
  • Loading branch information
richardkiss committed Feb 14, 2023
1 parent 389f6c3 commit 9d87e5e
Show file tree
Hide file tree
Showing 7 changed files with 7 additions and 12 deletions.
3 changes: 1 addition & 2 deletions tests/brun/div-2.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,2 @@
brun -c '(/ 2 5)' '(-80001 73)'
cost = 1125
-1096
FAIL: div operator with negative operands is deprecated (0xfec77f 73)
3 changes: 1 addition & 2 deletions tests/brun/div-3.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,2 @@
brun -c '(/ 2 5)' '(80001 -73)'
cost = 1125
-1096
FAIL: div operator with negative operands is deprecated (0x013881 -73)
3 changes: 1 addition & 2 deletions tests/brun/div-7.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,2 @@
brun -c '(/ (q . -3) (q . 10))'
cost = 1037
()
FAIL: div operator with negative operands is deprecated (-3 10)
3 changes: 1 addition & 2 deletions tests/brun/div-8.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,2 @@
brun -c '(/ (q . 3) (q . -10))'
cost = 1037
()
FAIL: div operator with negative operands is deprecated (i -10)
3 changes: 1 addition & 2 deletions tests/brun/div-9.txt
Original file line number Diff line number Diff line change
@@ -1,3 +1,2 @@
brun -c '(/ (q . -3) (q . -10))'
cost = 1037
()
FAIL: div operator with negative operands is deprecated (-3 -10)
2 changes: 1 addition & 1 deletion tests/edge-cases/div-07.txt
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
brun '(/ (q . 0xffff) (q . 0xffff))'
1
FAIL: div operator with negative operands is deprecated (0xffff 0xffff)
2 changes: 1 addition & 1 deletion tests/edge-cases/div-09.txt
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
brun '(/ (q . -1) (q . -1))'
1
FAIL: div operator with negative operands is deprecated (-1 -1)

0 comments on commit 9d87e5e

Please sign in to comment.