CORE
main.c
--generate-function-body func --generate-function-body-options nondet-return --min-null-tree-depth 10 --max-nondet-tree-depth 5
^SIGNAL=0$
\[main.assertion.1\] line \d+ assertion p != .*(0|(NULL))\)?: SUCCESS
\[main.assertion.2\] line \d+ assertion \*p != .*(0|(NULL))\)?: SUCCESS
\[main.assertion.3\] line \d+ assertion \*\*p == 0: FAILURE
\[main.assertion.4\] line \d+ assertion \*\*p != 0: FAILURE
--
^warning: ignoring
