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