Reduce unwind value for TokenTest01

Unwind 6 should be enough to detect any error and makes jbmc end quicker
than with 30.

Author: romainbrenguier

jbmc/regression/jbmc-strings/TokenTest01/test.desc

@@ -1,6 +1,6 @@
 CORE
 TokenTest01.class
---max-nondet-string-length 1000 --unwind 30  --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
+--max-nondet-string-length 1000 --unwind 6  --cp `../../../../scripts/format_classpath.sh . ../../../lib/java-models-library/target/core-models.jar`
 ^EXIT=0$
 ^SIGNAL=0$
 ^VERIFICATION SUCCESSFUL$