# This is the template for the InnoDrive e2e and domain and computation test cases.

import pytest
from hypothesis import given
import hypothesis.strategies as st

from httpx import Client

@pytest.fixture(scope="module")
def test_app():
    client = Client(base_url=" https://instructors.pg.innopolis.university/innodrive/")
    yield client  # testing happens here

@pytest.mark.parametrize("email", ["i.ivanov@innopolis.university"])
def test_spec(test_app, email):
    response = test_app.get("/spec/"+email)

    assert response.status_code == 200