Exit codes are apparently different on windows

Author: hannes-steffenhagen-diffblue

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

@@ -2,7 +2,7 @@ CORE
 dummy.c
 --traec
 did you mean --trace
-^EXIT=64$
+^EXIT=[123456789]\d*$
 ^SIGNAL=0$
 --
 --