Skip to content

1.3.4

Latest

Choose a tag to compare

@rillig rillig released this 08 Mar 19:12
· 7 commits to master since this release

Changes since 1.3.3 from 2024-03-05:

Properly instrument code that involves custom boolean types.