blob: cea1de862f52a5b10437d6e249e670a40c2b696c (
plain)
1
2
3
4
5
6
7
|
$coqtop -load-vernac-source misc/exitstatus/illtyped.v
N=$?
$coqc misc/exitstatus/illtyped.v
P=$?
printf "On ill-typed input, coqtop returned $N.\n"
printf "On ill-typed input, coqc returned $P.\n"
if [ $N = 1 -a $P = 1 ]; then exit 0; else exit 1; fi
|
