using the sumatra api
output filename
updated
updated
updated
updated
updated
update
update
update
update
Merge branch 'master' of https://github.com/yoavram/smt_test