Artifact fd2166781f618480c7a4910aa4d7bd8943a46cf41f7072c138dcfc753c7dbe2a:
- File tests/noprelude/diagnostics/compile-verif-test-1.txt — part of check-in [acbb4b30b8] at 2019-10-07 22:04:01 on branch trunk — Made the "assertion failure" error message lowercase to be consistent with other error messages. (user: achavasse size: 147)
tests/noprelude/diagnostics/compile-verif-test-1.g: 10 | assert( ta > tb ) | ^~~~~~~ | Error: assertion failure.