diff --git a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
index cab1f3ede72d4cfd8635ba6c0089894e5dbc2060..8547ac9d2e1d37fcc2b8c66c7fd6dc1131c99821 100755
--- a/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
+++ b/src/plugins/e-acsl/scripts/e-acsl-gcc.sh
@@ -349,8 +349,8 @@ OPTION_VALIDATE_FORMAT_STRINGS= # Runtime format string validation
 OPTION_LIBC_REPLACEMENTS= # Replace libc functions with RTL definitions
 OPTION_RTE_SELECT=        # Generate assertions for these functions only
 OPTION_THEN=              # Adds -then in front of -e-acsl in FC command.
-OPTION_STACK_SIZE=32      # Size of a heap shadow space (in MB)
-OPTION_HEAP_SIZE=128      # Size of a stack shadow space (in MB)
+OPTION_STACK_SIZE=        # Size of a heap shadow space (in MB)
+OPTION_HEAP_SIZE=         # Size of a stack shadow space (in MB)
 OPTION_KEEP_GOING=        # Report failing assertions but do not abort execution
 OPTION_EXTERNAL_ASSERT="" # Use custom definition of assert function
 OPTION_ASSERT_PRINT_DATA= # Print data contributing to a failed runtime assertion
diff --git a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
index 93de48c4ad3b99bcc137ca40ccaa3c76fb620bb4..f64825206dd86c8579ab4bb78b8ff16eb91e6996 100644
--- a/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
+++ b/src/plugins/e-acsl/share/e-acsl/observation_model/segment_model/e_acsl_shadow_layout.h
@@ -36,12 +36,12 @@
 
 /* Default size of a program's heap tracked via shadow memory */
 #ifndef E_ACSL_HEAP_SIZE
-#  define E_ACSL_HEAP_SIZE 512
+#  define E_ACSL_HEAP_SIZE 128
 #endif
 
 /* Default size of a program's stack tracked via shadow memory */
 #ifndef E_ACSL_STACK_SIZE
-#  define E_ACSL_STACK_SIZE 64
+#  define E_ACSL_STACK_SIZE 16
 #endif
 
 /* MAP_ANONYMOUS is a mmap flag indicating that the contents of allocated blocks