support for void functions (#56) · Issues · sustainable-software / eca-symbolic-execution