munta icon indicating copy to clipboard operation
munta copied to clipboard
verified publisher icon wimmers

Sharing between passed and wait list

Open wimmers opened this issue 8 years ago • 0 comments

To improve memory consumption, symbolic states can be shared between the passed & wait list. This requires a low-level verification of the corresponding data structure.

wimmers avatar Jun 20 '17 08:06 wimmers