Skip to content

v1.3.3

Choose a tag to compare

View all tags
@rillig rillig released this 05 Mar 16:55
· 13 commits to master since this release
v1.3.3
cee7e4f

Changes since 1.3.2 from 2023-10-07:

  • Fix build failure for TestMain in black box test package, see #32.
  • Fix instrumentation of types based on bool, see #35.
Assets 2
Loading