# Ignore test artefacts
*.proof
*.err
*.log
