diff --git a/tests/value/oracle_apron/taint.res.oracle b/tests/value/oracle_apron/taint.res.oracle new file mode 100644 index 0000000000000000000000000000000000000000..5caf6b3b7f44f07a768507c1916e04ce31560ee9 --- /dev/null +++ b/tests/value/oracle_apron/taint.res.oracle @@ -0,0 +1,2 @@ +2d1 +< [eva:experimental] Warning: The taint domain is experimental.