From 109bc815d023811fcddb2820af69167bbcf53e5b Mon Sep 17 00:00:00 2001
From: Thibault Martin <thi.martin.pro@pm.me>
Date: Wed, 17 Jan 2024 15:08:53 +0100
Subject: [PATCH] [tests] update test oracles
---
tests/syntax/oracle/array_cast_bts1099.res.oracle | 2 +-
tests/syntax/oracle/wrong-assignment.res.oracle | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/tests/syntax/oracle/array_cast_bts1099.res.oracle b/tests/syntax/oracle/array_cast_bts1099.res.oracle
index 4d39dbf0d7d..09ba17a47e2 100644
--- a/tests/syntax/oracle/array_cast_bts1099.res.oracle
+++ b/tests/syntax/oracle/array_cast_bts1099.res.oracle
@@ -1,6 +1,6 @@
[kernel] Parsing array_cast_bts1099.i (no preprocessing)
[kernel] array_cast_bts1099.i:12: User Error:
- Cast over a non-scalar type t
+ explicit cast: cast over a non-scalar type t
10 int tab1[4];
11 u* p = &tab1;
12 t* p2 = (t) p;
diff --git a/tests/syntax/oracle/wrong-assignment.res.oracle b/tests/syntax/oracle/wrong-assignment.res.oracle
index e3ed14ddfe7..a6f9c43d92d 100644
--- a/tests/syntax/oracle/wrong-assignment.res.oracle
+++ b/tests/syntax/oracle/wrong-assignment.res.oracle
@@ -1,6 +1,6 @@
[kernel] Parsing wrong-assignment.i (no preprocessing)
[kernel] wrong-assignment.i:13: User Error:
- cast from ebool to _Bool
+ implicit cast: cast from ebool to _Bool
11 void d() {
12 // this assignment should be rejected
13 c.a = b;
--
GitLab