Skip to content
Snippets Groups Projects
Commit c3aaaad8 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Update tests

parent 8b3ffffb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/tests/special/e-acsl-rt-debug.c
+ 1
− 1
View file @ c3aaaad8
...@@ -5,7 +5,7 @@ ...@@ -5,7 +5,7 @@
/* run.config_dev /* run.config_dev
MACRO: ROOT_EACSL_GCC_OPTS_EXT --rt-debug --rt-verbose --full-mtracking MACRO: ROOT_EACSL_GCC_OPTS_EXT --rt-debug --rt-verbose --full-mtracking
COMMENT: Filter the addresses of the output so that the test is deterministic. COMMENT: Filter the addresses of the output so that the test is deterministic.
MACRO: ROOT_EACSL_EXEC_FILTER @SEDCMD@ -e "s|0x[0-9-]*|0x00000-00000-00000|g" | @SEDCMD@ -e "s|Offset: [0-9-]*|Offset: xxxx|g" MACRO: ROOT_EACSL_EXEC_FILTER @SEDCMD@ -e "s|0x[0-9a-f-]*|0x0000-0000-0000|g" | @SEDCMD@ -e "s|Offset: [0-9-]*|Offset: xxxx|g"
*/ */
int main() { int main() {
return 0; return 0;
......
src/plugins/e-acsl/tests/special/oracle_dev/e-acsl-rt-debug.e-acsl.err.log
+ 12
− 12
View file @ c3aaaad8
>>> HEAP --------------------- >>> HEAP ---------------------
Application: 128 MB [0x00000-00000-00000, 0x00000-00000-00000] Application: 128 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 128 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Primary : 128 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
Secondary : 16 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Secondary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
>>> STACK -------------------- >>> STACK --------------------
Application: 16 MB [0x00000-00000-00000, 0x00000-00000-00000] Application: 16 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 16 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Primary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
Secondary : 16 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Secondary : 16 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
>>> GLOBAL ------------------- >>> GLOBAL -------------------
Application: 0 MB [0x00000-00000-00000, 0x00000-00000-00000] Application: 0 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 0 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Primary : 0 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
Secondary : 0 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Secondary : 0 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
>>> TLS ---------------------- >>> TLS ----------------------
Application: 64 MB [0x00000-00000-00000, 0x00000-00000-00000] Application: 64 MB [0x0000-0000-0000, 0x0000-0000-0000]
Primary : 64 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Primary : 64 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
Secondary : 64 MB [0x00000-00000-00000, 0x00000-00000-00000]{ Offset: xxxx } Secondary : 64 MB [0x0000-0000-0000, 0x0000-0000-0000]{ Offset: xxxx }
>>> -------------------------- >>> --------------------------
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment