File: integer_spec.rb

package info (click to toggle)
python-hypothesis 6.138.0-1
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 15,272 kB
  • sloc: python: 62,853; ruby: 1,107; sh: 253; makefile: 41; javascript: 6
file content (31 lines) | stat: -rw-r--r-- 702 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
# frozen_string_literal: true

RSpec.describe 'integer possibles' do
  they 'respect upper bounds' do
    hypothesis do
      expect(any(integers(max: 100))).to be <= 100
    end
  end

  they 'respect lower bounds' do
    hypothesis do
      expect(any(integers(min: -100))).to be >= -100
    end
  end

  they 'respect both bounds at once when lower bound is zero' do
    hypothesis do
      n = any integers(min: 0, max: 100)
      expect(n).to be <= 100
      expect(n).to be >= 0
    end
  end

  they 'respect both bounds at once when lower bound is non-zero' do
    hypothesis do
      n = any integers(min: 1, max: 100)
      expect(n).to be <= 100
      expect(n).to be >= 1
    end
  end
end