Regarding the number of states when IGNORE HASH COLLISIONS is used
7 views
Skip to first unread message
r0ur...@gmail.com
Feb 16, 2018, 8:49:22 AM2/16/18
to ProB Users
Hi,
May I know why the number of Checked States and and Total Transition is similar when I used the FORGET_STATE_SPACE and IGNORE HASH COLLISIONS ?
For example:
Check States: 2888 (18%)
Total distinct states: 16400
Total Transitions: 2888
Thank you.
May I know why the number of Checked States and and Total Transition is similar when I used the FORGET_STATE_SPACE and IGNORE HASH COLLISIONS ?
For example:
Check States: 2888 (18%)
Total distinct states: 16400
Total Transitions: 2888
Thank you.
Reply all
Reply to author
Forward
0 new messages