16 provide option to run default time bound analysis automatically on textual tmsc trace#17

Yuri-Blankenstein-TNO merged 2 commits into

mainTNO/PPS:mainfrom

16-provide-option-to-run-default-time-bound-analysis-automatically-on-textual-tmsc-traceTNO/PPS:16-provide-option-to-run-default-time-bound-analysis-automatically-on-textual-tmsc-traceCopy head branch name to clipboard