Update default constructor for class GPTEngine #21

	name: test

	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	run:
	runs-on: ${{ matrix.os }}

	strategy:
	matrix:
	os: [ubuntu-latest]
	python-version: ["3.8"]

	timeout-minutes: 30

	steps:
	- uses: actions/checkout@main
	- uses: actions/setup-python@main
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: \|
	python -m pip install --upgrade pip
	pip install pytest pytest-cov pytest-randomly hypothesis-pytest
	pip install -r requirements.txt
	- name: Unit tests and coverage
	run: \|
	pytest -k "not gpt" \
	--doctest-modules \
	nl2ltl tests \
	--cov=nl2ltl \
	--cov-report=xml \
	--cov-report=html \
	--cov-report=term \
	--hypothesis-show-statistics
	- name: Upload coverage to Codecov
	uses: codecov/codecov-action@v3
	with:
	file: ./coverage.xml
	flags: unittests
	name: codecov-umbrella
	fail_ci_if_error: true

Provide feedback