diff --git a/.gitignore b/.gitignore index 7c2d3190..88d4074a 100644 --- a/.gitignore +++ b/.gitignore @@ -24,3 +24,7 @@ cryptol-2.* /ICryptol/profile_cryptol/security/ /ICryptol/profile_cryptol/startup/ /bench*.xml + +# ignore test suite output +/bin +/output diff --git a/tests/regression/check31.icry.stdout b/tests/regression/check31.icry.stdout index ac016621..b9b59aa6 100644 --- a/tests/regression/check31.icry.stdout +++ b/tests/regression/check31.icry.stdout @@ -1,6 +1,5 @@ Loading module Cryptol -[error] IO error while loading file: ./check31.iso8859.cry: - ./check31.iso8859.cry: hGetContents: invalid argument (invalid byte sequence) +[error] bad utf-8 encoding: ./check31.iso8859.cry Loading module Cryptol Loading module Fοο