Fix ActionChain failure include never-executed actions since it uses wrong state object when creating transformations#427

Merged

jlink merged 1 commit intojqwik-team:mainfrom vlsi:chain_string

Dec 18, 2022

+79-3

Commits on Dec 12, 2022

Fix ActionChain failure include never-executed actions since it uses wrong state object when creating transformations
Vladimir Sitnikov
committed