-rw-r--r--  1 root  wheel  3896 Oct  9 22:57 kmod_set/df5678.ko
BUILD OK
=== A. assert rig (assertions live — stock INVARIANTS kernel analog) ===
--- df5678_assert control ---
control: set(5) rv=1 count=510 cap=510
control: remove(5) count=509
control: done, no fault
[df5678_assert control] exit=0
--- df5678_assert seteqcnt ---
seteqcnt: set(510) rv=1 count=511 cap=526
seteqcnt: done, no fault
[df5678_assert seteqcnt] exit=0
--- df5678_assert set ---
set: pre  count=510 cap=510, calling set(512)...
set: SURVIVED, rv=0 (out-of-range index accepted)
set: released cleanly
[df5678_assert set] exit=0
--- df5678_assert remove ---
remove: pre  count=510 cap=510, calling remove(600)...
remove: SURVIVED count=510 (assert compiled out)
remove: released cleanly
[df5678_assert remove] exit=0

=== B. NDEBUG rig (assertions compiled out — non-INVARIANTS kernel analog) ===
--- df5678_ndebug control ---
control: set(5) rv=1 count=510 cap=510
control: remove(5) count=509
control: done, no fault
[df5678_ndebug control] exit=0
--- df5678_ndebug seteqcnt ---
seteqcnt: set(510) rv=1 count=511 cap=526
seteqcnt: done, no fault
[df5678_ndebug seteqcnt] exit=0
--- df5678_ndebug set ---
set: pre  count=510 cap=510, calling set(512)...
set: SURVIVED, rv=0 (out-of-range index accepted)
set: released cleanly
[df5678_ndebug set] exit=0
--- df5678_ndebug remove ---
remove: pre  count=510 cap=510, calling remove(600)...
remove: SURVIVED count=510 (assert compiled out)
remove: released cleanly
[df5678_ndebug remove] exit=0

=== C. guard rig (NDEBUG + guard pages — precise OOB localization) ===
--- df5678_guard control ---
control: set(5) rv=1 count=510 cap=510
control: remove(5) count=509
control: done, no fault
[df5678_guard control] exit=0
--- df5678_guard seteqcnt ---
seteqcnt: set(510) rv=1 count=511 cap=526
seteqcnt: done, no fault
[df5678_guard seteqcnt] exit=0
--- df5678_guard set ---
set: pre  count=510 cap=510, calling set(512)...
set: SURVIVED, rv=0 (out-of-range index accepted)
set: released cleanly
[df5678_guard set] exit=0
--- df5678_guard remove ---
remove: pre  count=510 cap=510, calling remove(600)...
remove: SURVIVED count=510 (assert compiled out)
remove: released cleanly
[df5678_guard remove] exit=0