FUTURE
sensitivity_test_two_value_struct_of_two_value_struct.c
--variable --verify
^EXIT=0$
^SIGNAL=0$
^\[main.assertion.1\] .* assertion x.s1.a==0: UNKNOWN$
^\[main.assertion.2\] .* assertion x.s2.b==3.0f: UNKNOWN$
^\[main.assertion.3\] .* assertion x.s1.a==0: UNKNOWN$
^\[main.assertion.4\] .* assertion x.s1.a==10: UNKNOWN$
^\[main.assertion.5\] .* assertion x.s1.b==1.0f: UNKNOWN$
^\[main.assertion.6\] .* assertion x.s2.b==3.0f: UNKNOWN$
^\[main.assertion.7\] .* assertion x.s2.b==0.0f: UNKNOWN$
^\[main.assertion.8\] .* assertion x.s1.a==20: UNKNOWN$
^\[main.assertion.9\] .* assertion x.s1.a<30: UNKNOWN$
^\[main.assertion.10\] .* assertion x.s2.a==22: UNKNOWN$
^\[main.assertion.11\] .* assertion x.s2.a<30: UNKNOWN$
--
^warning: ignoring
