[Eva] Updates test oracle for the apron config.

The apron config disables the warning about experimental domains.

[Eva] Updates test oracle for the apron config.
The apron config disables the warning about experimental domains.
52cf2ad1 · David Bühler · 3707b0da · 52cf2ad1
Commit 52cf2ad1 authored 3 years ago by David Bühler
--- a/tests/value/oracle_apron/taint.res.oracle
+++ b/tests/value/oracle_apron/taint.res.oracle
+2d1
+< [eva:experimental] Warning: The taint domain is experimental.