Fixed test hanging

Author: esteffin

regression/cbmc/String_Abstraction18/test.desc

@@ -1,6 +1,6 @@
 CORE
 strcpy.c
---no-malloc-may-fail --string-abstraction
+--no-malloc-may-fail --string-abstraction --no-standard-checks
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$