Try different regex

Author: hannes-steffenhagen-diffblue

regression/cbmc/unknown-argument-suggestion/test.desc

@@ -2,9 +2,11 @@ CORE
 dummy.c
 --traec
 did you mean --trace
-^EXIT=[123456789]\d*$
+^EXIT=(1|64)$
 ^SIGNAL=0$
 --
 --
 This checks that we get a useful suggestion when we make a typo on the
-commandline
+commandline.
+
+The error code is 1 on linux/osx and 64 on windows for some reason.