summaryrefslogtreecommitdiff
path: root/test/regress/regress0/strings/parser-syms.cvc
blob: 20c37cf520397470a3cd239edf336358726360ab (plain) 
1
2
3
4
5
6
7
8
9

% EXPECT: sat

x : STRING;
y : STRING;

ASSERT CONCAT( REVERSE("abc"), "d") = x;
ASSERT CONCAT( TOLOWER("ABC"), TOUPPER("abc")) = y;

CHECKSAT;
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback