Update smt.java#15

betullkoyuncu wants to merge 2 commits intomainbetullkoyuncu/test-coverage:mainfrom

parent-2betullkoyuncu/test-coverage:parent-2Copy head branch name to clipboard