what now dammit
Merge branch 'smtlib' of github.com:ucsd-progsys/liquid-fixpoint into smtlib
yes merge pleasE
yay listSetDemo goes through -- and fails with UNSAFE
yay listSetDemo goes through -- and fails with UNSAFE