[CZT-Users] Loading specs with uses of variables before their declaration

[Pablo R. M. <rod...@gm...>]

Hi Czt'ers,

I would like to know if there is any way to load, through the CZT API, Z
specifications that have uses of variables before their declaration. With
"load" I mean parse the specifications as well as typeckeck them. The
desired behaviour would be like the the one provided by the -d (dependency
analysis) feature of fuzz.

Cheers,

Pablo Rodríguez Monetti