X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flanguage%2Futilities%2Fset.at;h=e84b44d9b2f98fecca6a46067d30315722d4f568;hb=e937634e9021aa0656a6362f169ec2183efed499;hp=e1b92573f31e910e32540d3846d54e85fdf21a05;hpb=66946a0a0cab3a51e6fded95aef4e991baee319f;p=pspp

diff --git a/tests/language/utilities/set.at b/tests/language/utilities/set.at
index e1b92573f3..e84b44d9b2 100644
--- a/tests/language/utilities/set.at
+++ b/tests/language/utilities/set.at
@@ -92,3 +92,23 @@ x,y,z
 ])
 
 AT_CLEANUP
+
+AT_BANNER([PRESERVE and RESTORE])
+
+AT_SETUP([PRESERVE of SET FORMAT])
+AT_DATA([set.pspp], [dnl
+SHOW FORMAT.
+PRESERVE.
+SET FORMAT F10.0.
+SHOW FORMAT
+RESTORE.
+SHOW FORMAT.
+])
+AT_CHECK([pspp -O format=csv set.pspp], [0], [dnl
+set.pspp:1: note: SHOW: FORMAT is F8.2.
+
+set.pspp:5: note: SHOW: FORMAT is F10.0.
+
+set.pspp:6: note: SHOW: FORMAT is F8.2.
+])
+AT_CLEANUP