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