munta
munta copied to clipboard
Sharing between passed and wait list
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.