Execute by Predicate dialog box
Description
Activity
Show:
Michael Leuschel October 14, 2020 at 12:22 PM
The operation details view already separates the parameters from the variables (maybe there we could add an additional text: Variables (set non-deterministically) in the view)
Fixed
Details
Details
Assignee
Fabian VuReporter
Michael LeuschelPriority
MajorCreated October 14, 2020 at 12:19 PM
Updated December 15, 2020 at 1:05 PM
Resolved December 15, 2020 at 1:05 PM
The minimal size of the Execute by Predicate dialog box seems pretty large. Also, would it be possible to indicate which identifiers are real parameters and which ones are non-deterministically set variables?