Strings are escaped differently in different parts of the constraint writer.

[BenSpencer]

In the example select-dynamic-form-updates, we have the following pieces in the same constraint file:

...
(declare-const SYMQQQINQQQcountry String)
(assert
  (or
    (= SYMQQQINQQQcountry "?")
    ...
  )
)

(assert (= (= (= SYMQQQINQQQcountry "\?") false) true))
...

Notice the "?" is escaped in the path constraint, but not in the select restriction. This seems like a bug?

[BenSpencer]

\? is not a valid escape sequence, so the \ is ignored and CVC4 treats it as a regular ?, so this will not result in a bug. It still seems like we should be consistent though.

http://cvc4.cs.nyu.edu/wiki/Strings#Escape_Sequences_in_String_Constants