X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Fui%2Fterminal%2Fmain.at;h=128ad4182de1f199ce6beca5fea95d6cc8f2e7a8;hb=6648c65e4574357f2f3b8d97ccd92ef0e77ad657;hp=1ee822688f30b416438d145fa79a834739a526fc;hpb=afca77f0c62b04630fde858c923134e8c680ffa9;p=pspp

diff --git a/tests/ui/terminal/main.at b/tests/ui/terminal/main.at
index 1ee822688f..128ad4182d 100644
--- a/tests/ui/terminal/main.at
+++ b/tests/ui/terminal/main.at
@@ -5,3 +5,49 @@ AT_CHECK([pspp nonexistent], [1],
   [error: Opening `nonexistent': No such file or directory.
 ])
 AT_CLEANUP
+
+AT_SETUP([SIGTERM yields clean shutdown])
+AT_DATA([main.sps], [dnl
+INPUT PROGRAM.
+COMPUTE x = x + 1.
+DO IF x = 10000.
+END CASE.
+ELSE IF x < 0.
+END FILE.
+END IF.
+END INPUT PROGRAM.
+EXECUTE.
+])
+AT_CHECK([pspp main.sps & sleep 1; kill $!; wait $!], [143], [], [ignore])
+AT_CLEANUP
+
+AT_SETUP([SIGSEGV yields error report])
+AT_CHECK([[echo 'host command=["kill -SEGV $PPID"].' | pspp -O format=csv]],
+  [139], [], [stderr])
+
+cat > expout <<EOF
+******************************************************
+You have discovered a bug in PSPP.  Please report this
+to $PACKAGE_BUGREPORT.  Please include this entire
+message, *plus* several lines of output just above it.
+For the best chance at having the bug fixed, also
+include the syntax file that triggered it and a sample
+of any data file used for input.
+proximate cause:     Segmentation Violation
+EOF
+
+AT_CHECK([sed '/proximate/q' < stderr], [0], [expout])
+AT_CLEANUP
+
+
+dnl This tests for a crash which was observed with --syntax
+AT_SETUP([argument parsing])
+
+AT_DATA([main.sps], [dnl
+ECHO 'This is a test'.
+FINISH.
+])
+
+AT_CHECK([pspp --syntax=enhanced main.sps], [0], [ignore])
+
+AT_CLEANUP