liquid-fixpoint-0.5.0.0: tests/neg/literals.fq
//adapted from LH test Strings.hs
constant lit#bar : (Str)
constant lit#foo : (Str)
constraint:
env []
lhs {VV#F1 : int | []}
rhs {VV#F1 : int | [(lit#bar = lit#foo)]}
id 1 tag [6]
//adapted from LH test Strings.hs
constant lit#bar : (Str)
constant lit#foo : (Str)
constraint:
env []
lhs {VV#F1 : int | []}
rhs {VV#F1 : int | [(lit#bar = lit#foo)]}
id 1 tag [6]