code wiki / (root) / nx_validation_test.nx

nx_validation_test.nx

buildroot/runtime/nx_validation_test.nx

2483 B70 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic validation
docsdependenciesstructsconstsfunctions

about

nx_validation_test.nx -- smoke for nx_validation. Proves the model-derived test targets, the band/ceiling/floor acceptance rules, and the overall validation verdict (all pass -> validated; a deviation fails that test; a safety breach is fatal). Exit code = failed assertion #; 0 = all pass.

dependencies 5 imports · 0 importers

nx_syscalls.nx nx_water_awg.nx nx_water_quality.nx nx_water_design.nx nx_validation.nx nx_validation_test.nx

imports: nx_syscalls.nxnx_water_awg.nxnx_water_quality.nxnx_water_design.nxnx_validation.nx

imported by: nobody (leaf or entry point)

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

main val_water_count val_water_case sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ val_pass sys_mmap ↻ val_run val_water_count ↻ val_water_case ↻ val_pass ↻ val_validated val_run ↻ val_water_count ↻ val_critical_pass val_water_count ↻ val_water_case ↻ val_pass ↻

structs

none

consts

none

functions

12func main() -> i64
calls 7: val_water_countval_water_caseval_passsys_mmapval_runval_validated+1