add -prob_application_type rodin at probcli startup
Passed
Michael Leuschel
created pipeline for commit df55853f
, finished
For develop
7 minutes 46 seconds, queued for 3 seconds