Configuration dialog should provide possibility to specify program file/function
Currently, the configuration dialog does not provide the option to select which program file and function CPAchecker should analyze.
I assume that the method is chosen behind the scenes when a user clicks on the gutter icons next to a method, but what happens if the Run
-dialog next to the configuration name is chosen?
Users should be able to explicitly specify which file and method they want to analyze,
and automatically generated configurations should show the function and method they were created for.