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 
--
^warning: ignoring
