prop_nxtask_store_test.nx
buildroot/runtime/prop_nxtask_store_test.nx
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
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
structs
| none |
consts
| none |
functions
| 16 | func compare_tasks(a: *Task, b: *Task) -> i64 {
called by 1: main |
| 33 | func main() -> i64 { |