test/regress/regress0/echo.smt2


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

; EXPECT: "str"""
; EXPECT: "str""ing"
; EXPECT: "hi"
; EXPECT: "str""""ing"
; EXPECT: "str""i""ng"
; EXPECT: "str\ing"
; EXPECT: "str\\ing"
; EXPECT: "str\"
; EXPECT: "\u{65}"
(echo "str""")
(echo "str""ing")
(echo "hi")
(echo "str""""ing")
(echo "str""i""ng")
(echo "str\ing")
(echo "str\\ing")
(echo "str\")
(echo "\u{65}")