DVE parser asserts on invalid input
The incuded code fails to parse with assertion failure but no meaningful message. The problem is that commit states are not defined by states and lookup of transitions fails. rwlocks.zip
The incuded code fails to parse with assertion failure but no meaningful message. The problem is that commit states are not defined by states and lookup of transitions fails. rwlocks.zip