Fix name overwrite in benchmark #214

	# This workflow will install Python dependencies, run tests and lint with a single version of Python
	# For more information see: https://help.github.com/actions/language-and-framework-guides/using-python-with-github-actions

	name: Nagini Minimal Tests Windows Python 3.11

	on: [push, pull_request, workflow_dispatch]

	jobs:
	build:

	runs-on: windows-latest
	env:
	BOOGIE_EXE: "C:\\Users\\runneradmin\\.dotnet\\tools\\boogie"
	steps:
	- uses: actions/checkout@v2
	- name: Set up Java 17
	uses: actions/setup-java@v4.4.0
	with:
	java-version: 17
	distribution: oracle
	- name: Set up Python 3.11
	uses: actions/setup-python@v2
	with:
	python-version: "3.11"
	architecture: "x64"
	- name: Setup .NET
	uses: xt0rted/setup-dotnet@v1.5.0
	with:
	dotnet-version: 6.0.x
	- name: Install Boogie
	run: \|
	dotnet tool install --global Boogie --version 2.15.9
	- name: Install Nagini
	run: \|
	python -m pip install --upgrade pip
	pip install setuptools==68.2.0
	pip install pytest
	pip install .
	- name: Test with pytest
	run: \|
	pytest -v -p no:faulthandler src/nagini_translation/tests.py --minimal

Provide feedback