/test/unit/parser/
../
cvc
smt