Update test oracles

src/plugins/aorai/tests/ya/oracle/saveload.res.1.log.txt

src/plugins/aorai/tests/ya/oracle/serial.res.oracle

.../aorai/tests/ya/oracle_prove/declared_function.res.oracle

src/plugins/aorai/tests/ya/oracle_prove/incorrect.res.oracle

src/plugins/aorai/tests/ya/oracle_prove/serial.res.oracle

...acsl/tests/concurrency/oracle/parallel_threads.res.oracle

.../e-acsl/tests/concurrency/oracle/threads_debug.res.oracle

src/plugins/e-acsl/tests/format/oracle/fprintf.res.oracle

src/plugins/e-acsl/tests/format/oracle/printf.res.oracle

src/plugins/e-acsl/tests/format/oracle/sprintf.res.oracle

...ugins/e-acsl/tests/memory/oracle/hidden_malloc.res.oracle

...plugins/e-acsl/tests/temporal/oracle/t_fun_lib.res.oracle

...plugins/markdown-report/tests/sarif/oracle/cwe125.eva.log

src/plugins/nonterm/tests/nonterm/oracle/n5.res.oracle

src/plugins/report/tests/report/oracle/csv.res.oracle

src/plugins/report/tests/report/oracle/hyp.0.res.oracle

src/plugins/report/tests/report/oracle/hyp.1.res.oracle

...ic/tests/declared/oracle/empty-vpar-with-ghost.res.oracle

...gins/variadic/tests/declared/oracle/empty-vpar.res.oracle

.../tests/declared/oracle/function-ptr-with-ghost.res.oracle