code wiki / (root) / nx_obd_dtc_test.nx

nx_obd_dtc_test.nx

buildroot/runtime/nx_obd_dtc_test.nx

2706 B66 linesdepth 5pulls 13 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_obd_dtc_test.nx -- gate for the OBD-II DTC decoder (automotive). Decodes real codes (misfire / catalyst / transmission / lost-comms / ABS), proves the structure decode + severity + routed action, generic-vs-mfg, malformed-code rejection, and a liar-kill (different codes -> different subsystem + severity, not constants). expect_exit: 0 license_tier: ORIGINAL

dependencies 2 imports · 0 importers

nx_syscalls_x86_64.nx nx_obd_dtc.nx nx_obd_dtc_test.nx

imports: nx_syscalls_x86_64.nxnx_obd_dtc.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main nx_obd_decode obd_hex obd_severity obd_action

structs

none

consts

none

functions

15func main() -> i64
calls 1: nx_obd_decode