from hypothesis import assume, given
from ppb_vector import Vector2
from utils import vectors


@given(x=vectors())
def test_equal_self(x: Vector2):
  assert x == x

@given(x=vectors())
def test_non_zero_equal(x: Vector2):
  assume(x != (0, 0))
  assert x != 1.1 * x

@given(x=vectors(), y=vectors())
def test_not_equal_equivalent(x: Vector2, y: Vector2):
  assert (x != y) == (not x == y)

from hypothesis import assume, given
from ppb_vector import Vector2
from utils import vectors


@given(x=vectors())
def test_equal_self(x: Vector2):
  assert x == x

@given(x=vectors())
def test_non_zero_equal(x: Vector2):
  assume(x != (0, 0))
  assert x != 1.1 * x
  assert x != -x

@given(x=vectors(), y=vectors())
def test_not_equal_equivalent(x: Vector2, y: Vector2):
  assert (x != y) == (not x == y)

Add another (generated) negative example
tests/equality: Add another (generated) negative example

  from hypothesis import assume, given
  from ppb_vector import Vector2
  from utils import vectors
  
  
  @given(x=vectors())
  def test_equal_self(x: Vector2):
    assert x == x
  
  @given(x=vectors())
  def test_non_zero_equal(x: Vector2):
    assume(x != (0, 0))
    assert x != 1.1 * x
+   assert x != -x
  
  @given(x=vectors(), y=vectors())
  def test_not_equal_equivalent(x: Vector2, y: Vector2):
    assert (x != y) == (not x == y)
  
Add another (generated) negative example
## Code Before:
from hypothesis import assume, given
from ppb_vector import Vector2
from utils import vectors


@given(x=vectors())
def test_equal_self(x: Vector2):
  assert x == x

@given(x=vectors())
def test_non_zero_equal(x: Vector2):
  assume(x != (0, 0))
  assert x != 1.1 * x

@given(x=vectors(), y=vectors())
def test_not_equal_equivalent(x: Vector2, y: Vector2):
  assert (x != y) == (not x == y)

## Instruction:
Add another (generated) negative example
## Code After:
from hypothesis import assume, given
from ppb_vector import Vector2
from utils import vectors


@given(x=vectors())
def test_equal_self(x: Vector2):
  assert x == x

@given(x=vectors())
def test_non_zero_equal(x: Vector2):
  assume(x != (0, 0))
  assert x != 1.1 * x
  assert x != -x

@given(x=vectors(), y=vectors())
def test_not_equal_equivalent(x: Vector2, y: Vector2):
  assert (x != y) == (not x == y)
