CORE
main.c
--unwind-max 3 --no-unwinding-assertions --all-properties
^EXIT=10$
^SIGNAL=0$
^\[main\.assertion\.1\] assertion matriz\[(signed long int)j\]\[(signed long int)k\] <= maior: OK$
^\[main\.assertion\.2\] assertion matriz\[(signed long int)0\]\[(signed long int)0\] < maior: FAILED$
^\*\* 1 of 2 failed (2 iterations)$
--
^warning: ignoring
