1[pytest] 2addopts = --tb=short --html=output/report.html --css=style.css --junitxml=output/junit.xml -n auto --instafail --dist=loadfile -rs 3junit_family = xunit2 4junit_suite_name = minizinc 5junit_logging = system-err 6log_cli = True 7testpaths = spec 8markers = 9 push: mark test for run on push 10 check: mark test as a checker test