[eacsl] Update default stack and heap size

- The default values in `e-acsl-gcc.sh` are removed to always use those
  in `e_acsl_shadow_layout.h`
- The default values in `e_acsl_shadow_layout.h` are set to the values
  that were in `e-acsl-gcc.sh` since they were the values actually used
  by default.

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

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