Skip to content

v0.36.6

Choose a tag to compare

View all tags
@hegel-release hegel-release released this 07 Sep 17:22
· 99 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.36.6
edc6969

This release updates the hegeltest-c dependency to 0.36.6.

libhegel C ABI

A test that rejects its input via assume() without drawing any data can never produce a valid case. The engine now stops after one call and fails the run with Unsatisfiable, instead of passing. Over the C ABI this surfaces as an ordinary error result; no signatures or status values change.

Assets 25
Loading