Skip to content

v0.37.7

Latest

Choose a tag to compare

@hegel-release hegel-release released this 09 Sep 16:05
· 2 commits to main since this release
Immutable release. Only release title and notes can be modified.

#[hegel::main] binaries now suppress the TooSlow and TestCasesTooLarge health checks. Stateful test cases no longer stop at random after tens of thousands of rounds: the engine's per-round stop probability is now 2^-32 instead of 2^-16.

libhegel C ABI

The per-round continue draw of stateful test cases now stops with probability 2^-32 per round instead of 2^-16.