v1.3.3

rillig released this 05 Mar 16:55

· 8 commits to master since this release

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