You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Simplify numeric guidance internals. This fixes a bug where certain numeric comparisons could produce incorrect guidance results.
6
+
7
+
## 0.4.6 - 2026-02-09
8
+
9
+
Reduce verbosity of guidance tracking.
10
+
11
+
## 0.4.5 - 2025-01-03
12
+
13
+
Fix `ALWAYS_SOME` and `SOMETIMES_ALL` macro implementations.
14
+
15
+
## 0.4.4 - 2024-12-13
16
+
17
+
Add polyfill macros for `NO_ANTITHESIS_SDK` mode, which let you override the behavior of assertion macros when the SDK is compiled out, instead of them silently doing nothing.
18
+
19
+
Change `check_assertion` to handle boolean conversions better.
20
+
21
+
## 0.4.3 - 2024-11-12
22
+
23
+
JSON string escaping fix for ASCII control characters 0x00-0x1F.
24
+
25
+
Fixing compilation issues with SOMETIMES_ALL and ALWAYS_SOME.
26
+
27
+
The `details` argument is not optional in all assertion macros.
28
+
29
+
## 0.4.2 - 2024-10-10
30
+
31
+
Improvements to JSON handling
32
+
33
+
## 0.4.0 - 2024-07-01
34
+
35
+
Adding guidance-based assertions. These are both assertions and guidance for the fuzzer to explore your program more effectively.
36
+
37
+
## 0.3.1 - 2024-06-06
38
+
39
+
Dedup catalog entries.
40
+
41
+
## 0.3.0 - 2024-05-10
42
+
43
+
Instrumentation is now in a separate file: antithesis_instrumentation.h.
44
+
Instrumentation supports both C++ and C. (The remainder of the SDK is C++-only.)
45
+
46
+
## 0.2.3 - 2024-04-25
47
+
Adding `inline` to __sanitizer_cov_trace_pc_guard_init and __sanitizer_cov_trace_pc_guard.
48
+
49
+
## 0.2.2 - 2024-03-29
50
+
51
+
Supporting coverage instrumentation via __sanitizer_cov_trace_pc_guard_init and __sanitizer_cov_trace_pc_guard.
0 commit comments