code wiki / (root) / prop_nxtask_store_test.nx

prop_nxtask_store_test.nx

buildroot/runtime/prop_nxtask_store_test.nx

3730 B113 linesdepth 5pulls 7 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

prop_nxtask_store_test.nx -- property test for nxtask serializer. Property: for any sequence of nxtask operations (add, claim, close, add_dep), serialize -> deserialize round-trip preserves every observable field. If this ever fails, a persisted agent state would silently corrupt on reload. Runs 500 iterations. Each builds a random graph (3-8 tasks, random mutations), serializes, deserializes, compares.

dependencies 4 imports · 0 importers

syscalls.nx nxtask.nx nxtask_store.nx prop_test.nx prop_nxtask_store_test.nx

imports: syscalls.nxnxtask.nxnxtask_store.nxprop_test.nx

imported by: nobody (leaf or entry point)

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

main prop_gen_new prop_gen_range prop_gen_i64 nxtask_graph_new prop_gen_printable prop_gen_i64 ↻ nxtask_add task_at nxtask_claim task_at ↻ nxtask_close task_at ↻ nxtask_add_dep task_at ↻ nxtask_serialize nxtask_serialized_size task_at ↻ write_i64_le task_at ↻ copy_bytes prop_report nx_puti_err sys_mmap sys_write nx_putx_err sys_mmap ↻ sys_write ↻ nx_puts_err sys_write ↻ nxtask_deserialize read_i64_le nxtask_graph_new ↻ task_at ↻ task_at ↻ compare_tasks

structs

none

consts

none

functions

16func compare_tasks(a: *Task, b: *Task) -> i64 {
called by 1: main
33func main() -> i64 {