code wiki / (root) / nx_food_chem_react_test.nx

nx_food_chem_react_test.nx

buildroot/runtime/nx_food_chem_react_test.nx

2853 B63 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/prooftopic food
docsdependenciesstructsconstsfunctions

about

nx_food_chem_react_test.nx -- smoke for nx_food_chem_react. Proves the three browning reactions are correctly distinguished from conditions, with real thresholds, plus enzymatic-browning prevention. Exit code = failed assertion number; 0 = all pass.

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_food_chem_react.nx nx_food_chem_react_test.nx

imports: nx_syscalls.nxnx_food_chem_react.nx

imported by: nobody (leaf or entry point)

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

main fcr_maillard fcr_maillard_rate fcr_caramelization_temp fcr_caramelizes fcr_caramelization_temp ↻ fcr_enzymatic_browning nx_cook_scenario_new sys_mmap fcr_predict_browning fcr_maillard ↻ fcr_caramelization_temp ↻ fcr_enzymatic_browning ↻

structs

none

consts

none

functions

9func main() -> i64