def test_to_int_invalid(self, major, minor):
     version = sql.UserVersion(major, minor)
     with pytest.raises(AssertionError):
         version.to_int()
 def test_to_int_hypothesis(self, major, minor):
     version = sql.UserVersion(major, minor)
     assert version.from_int(version.to_int()) == version
 def test_to_int(self, major, minor, val):
     version = sql.UserVersion(major, minor)
     assert version.to_int() == val