Merge pull request #146 from esbmc/config-decouple #255

	name: Checking
	on: push

	jobs:
	pylint:
	name: PyLint
	runs-on: ubuntu-latest
	timeout-minutes: 10

	steps:
	- name: Check out repository code
	uses: actions/checkout@v3

	# Setup Python (faster than using Python container)
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.11"

	- name: Install pipenv
	run: \|
	python -m pip install --upgrade pipenv wheel

	- name: Install dependencies
	run: \|
	pipenv install --deploy --dev

	- name: Pylint on esbmc_ai
	run: \|
	pipenv run pylint esbmc_ai

	test:
	name: PyTest
	runs-on: ubuntu-latest
	timeout-minutes: 10

	steps:
	- name: Check out repository code
	uses: actions/checkout@v3

	# Setup Python (faster than using Python container)
	- name: Setup Python
	uses: actions/setup-python@v4
	with:
	python-version: "3.11"

	- name: Install pipenv
	run: \|
	python -m pip install --upgrade pipenv wheel
	- id: cache-pipenv
	uses: actions/cache@v1.2.1
	with:
	path: ~/.local/share/virtualenvs
	key: ${{ runner.os }}-pipenv-${{ hashFiles('**/Pipfile.lock') }}

	- name: Install dependencies
	if: steps.cache-pipenv.outputs.cache-hit != 'true'
	run: \|
	pipenv install --deploy --dev

	- name: Run test suite
	run: \|
	pipenv run pytest -v

Provide feedback