FUTURE
sensitivity_test_constants_pointer_to_constants_pointer.c
--variable --pointers --verify
^EXIT=0$
^SIGNAL=0$
^\[main.assertion.1\] .* assertion \*\*x==0: SUCCESS$
^\[main.assertion.2\] .* assertion \*\*x==1: FAILURE \(if reachable\)$
^\[main.assertion.3\] .* assertion \*\*x==1: SUCCESS$
^\[main.assertion.4\] .* assertion \*\*x==0: FAILURE \(if reachable\)$
^\[main.assertion.5\] .* assertion a==2: SUCCESS$
^\[main.assertion.6\] .* assertion a==1: FAILURE \(if reachable\)$
--
^warning: ignoring
