Selection of specification file should be more verbose and provide file-selection dialog
Currently, the configuration dialog contains a dropdown to choose the type of specification and a text area to enter a specification.
The following types of specification can be selected: plain text
, CPAchecker
, file
and sv-repo
.
To me, it's not clear what the difference between file
, CPAchecker
and sv-repo
is.
In addition, if type file
is selected, the text area should be replaced by a file selection dialog to be able to choose the file.