Fixed incorrect default trace-dir path#463

arminzavada wants to merge 1 commit intomasterftsrg/theta:masterfrom

incorrect-trace-dirftsrg/theta:incorrect-trace-dirCopy head branch name to clipboard