diff --git a/tests/builtins/oracle_equality/linked_list.1.res.oracle b/tests/builtins/oracle_equality/linked_list.1.res.oracle
index 2793d4429dc90a19f15c94279c5a1a9979134203..dc1c07fbca0f6ce44824d4bdff2b3cf9110babd1 100644
--- a/tests/builtins/oracle_equality/linked_list.1.res.oracle
+++ b/tests/builtins/oracle_equality/linked_list.1.res.oracle
@@ -16,8 +16,9 @@
 720a731,732
 > [kernel] linked_list.c:44: 
 >   more than 100(128) elements to enumerate. Approximating.
-817,820d828
-< [kernel] linked_list.c:43: 
+810,811d821
+< [kernel] linked_list.c:51: 
 <   more than 100(128) elements to enumerate. Approximating.
+819,820d828
 < [kernel] linked_list.c:44: 
 <   more than 100(128) elements to enumerate. Approximating.
diff --git a/tests/builtins/oracle_gauges/linked_list.1.res.oracle b/tests/builtins/oracle_gauges/linked_list.1.res.oracle
index b87751b1860d9873234df4faa3da486960eb6908..ec6dff88c11d22b8f7b5764d51fe82406d5cd9e0 100644
--- a/tests/builtins/oracle_gauges/linked_list.1.res.oracle
+++ b/tests/builtins/oracle_gauges/linked_list.1.res.oracle
@@ -1,4 +1,4 @@
-815a816,821
+817a818,823
 > [eva] computing for function printf_va_1 <- main.
 >   Called from linked_list.c:51.
 > [eva] Done for function printf_va_1
diff --git a/tests/builtins/oracle_octagon/linked_list.1.res.oracle b/tests/builtins/oracle_octagon/linked_list.1.res.oracle
index 41d4dcf433676a89af84a5ad2d22838f7d2d82c0..4083e687dd36eae966d07c6feea16e88f79ce698 100644
--- a/tests/builtins/oracle_octagon/linked_list.1.res.oracle
+++ b/tests/builtins/oracle_octagon/linked_list.1.res.oracle
@@ -10,8 +10,9 @@
 720a727,728
 > [kernel] linked_list.c:44: 
 >   more than 100(128) elements to enumerate. Approximating.
-817,820d824
-< [kernel] linked_list.c:43: 
+810,811d817
+< [kernel] linked_list.c:51: 
 <   more than 100(128) elements to enumerate. Approximating.
+819,820d824
 < [kernel] linked_list.c:44: 
 <   more than 100(128) elements to enumerate. Approximating.
diff --git a/tests/builtins/oracle_symblocs/linked_list.1.res.oracle b/tests/builtins/oracle_symblocs/linked_list.1.res.oracle
index 41d4dcf433676a89af84a5ad2d22838f7d2d82c0..4083e687dd36eae966d07c6feea16e88f79ce698 100644
--- a/tests/builtins/oracle_symblocs/linked_list.1.res.oracle
+++ b/tests/builtins/oracle_symblocs/linked_list.1.res.oracle
@@ -10,8 +10,9 @@
 720a727,728
 > [kernel] linked_list.c:44: 
 >   more than 100(128) elements to enumerate. Approximating.
-817,820d824
-< [kernel] linked_list.c:43: 
+810,811d817
+< [kernel] linked_list.c:51: 
 <   more than 100(128) elements to enumerate. Approximating.
+819,820d824
 < [kernel] linked_list.c:44: 
 <   more than 100(128) elements to enumerate. Approximating.