import pytest
from django.test import Client
from django.urls import reverse
from hypothesis import given, strategies as st

from .models import Teil


@given(data=st.text(alphabet=st.characters(exclude_categories=["C"])))
def test_submitted_data_ends_up_in_database(data, session: Client):

    with pytest.raises(Teil.DoesNotExist):
        Teil.objects.get(name=data)

    response = session.post(reverse("collector:enter"), data={"new_name": data})

    assert response.status_code == 302
    assert Teil.objects.get(name=data)