No edit summary |
|||
Line 1: | Line 1: | ||
This tutorial describes the use of ProB's evaluation view to explore single states of a model. | This tutorial describes the use of ProB's evaluation view to explore single states of a model. | ||
The view shows the details of a particular state during the animation. It can be used to | |||
The | |||
# learn about the values of a some variables. This feature is overlapping with the State Properties View in the bottom left section of ProB's main window, but the evaluation view allows to inspect a value in greater detail. In particular the used can inspect the sub-expressions | # learn about the values of a some variables. This feature is overlapping with the State Properties View in the bottom left section of ProB's main window, but the evaluation view allows to inspect a value in greater detail. In particular the used can inspect the sub-expressions |
This tutorial describes the use of ProB's evaluation view to explore single states of a model. The view shows the details of a particular state during the animation. It can be used to