code wiki / rw

topic: rw

12 modules sharing the rw name family (derived from the tree's prefix discipline).

moduledescriptionlinesfuncs
nx_rw_andor.nxTRAP WITNESS (pack-rules vet). Tactic under test: && and || in conditions161
nx_rw_args3.nxTRAP WITNESS (pack-rules vet). Tactic under test: a helper with the exact202
nx_rw_callarg.nxTRAP WITNESS (pack-rules vet). Tactics under test: (a) a call nested inside223
nx_rw_castidx.nxTRAP WITNESS (pack-rules vet). Tactic under test: indexing the result of an151
nx_rw_elseif.nxDELIBERATE TRAP WITNESS (pack-rules vet, see knowledge/forge/pack_rules_vet_v1.txt).141
nx_rw_emptystr.nxDELIBERATE TRAP WITNESS (pack-rules vet). Tactic under test: the bare ""181
nx_rw_hashlit.nxDELIBERATE TRAP WITNESS (pack-rules vet). Tactic under test: the characters171
nx_rw_modulo.nxTRAP WITNESS (pack-rules vet). Tactic under test: the % operator (the pack121
nx_rw_ptrchain.nxTRAP WITNESS (pack-rules vet). Tactic under test: chained pointer171
nx_rw_shift56.nxDELIBERATE TRAP WITNESS (pack-rules vet). Tactic under test: an IMMEDIATE201
nx_rw_staticarr.nxDELIBERATE TRAP WITNESS (pack-rules vet). Tactic under test: module-level151
nx_rw_stmtbound.nxDELIBERATE TRAP WITNESS (pack-rules vet). Tactic under test: an expression182