Skip to content

#143 Using constant results in unsupported linearized guard with data-based synthesis.

Closes #143 (closed).

Merge request reports

Loading