Skip to content

Commit

Permalink
Add negated divide by zero test (#569)
Browse files Browse the repository at this point in the history
Closes #501. Actual fix is from #568.
  • Loading branch information
chriscerie authored Nov 11, 2023
1 parent 7aa08f7 commit 6e88708
Show file tree
Hide file tree
Showing 2 changed files with 7 additions and 0 deletions.
1 change: 1 addition & 0 deletions selene-lib/tests/lints/divide_by_zero/divide_by_zero.lua
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,4 @@ local _ = 5 / 0
local _ = 0 / 5
local _ = x / 0
local _ = 0 / 0
local _ = -1 / 0
6 changes: 6 additions & 0 deletions selene-lib/tests/lints/divide_by_zero/divide_by_zero.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -10,3 +10,9 @@ error[divide_by_zero]: dividing by zero is not allowed, use math.huge instead
4 │ local _ = x / 0
│ ^^^^^

error[divide_by_zero]: dividing by zero is not allowed, use math.huge instead
┌─ divide_by_zero.lua:6:11
6 │ local _ = -1 / 0
│ ^^^^^^

0 comments on commit 6e88708

Please sign in to comment.