Line data    Source code

       1             : #include <bounds.h>
       2             : #include <config.h>
       3             : 
       4    10138167 : size_t sea_max_buffer_size(void) { return MAX_BUFFER_SIZE; }
       5           0 : size_t sea_max_string_len(void) { return MAX_STRING_LEN; }
       6           0 : size_t klee_max_memory_size(void) { return KLEE_MAX_SIZE; }
       7           0 : size_t sea_max_array_list_item_size(void) { return MAX_ITEM_SIZE; }
       8           0 : size_t sea_max_array_list_len(void) { return MAX_INITIAL_ITEM_ALLOCATION; }
       9     4769591 : size_t fuzz_max_array_list_len(void) { return MAX_INITIAL_ITEM_ALLOCATION_FUZZ; }
      10     4769591 : size_t fuzz_max_array_list_item_size(void) { return MAX_ITEM_SIZE_FUZZ; }
      11           0 : size_t sea_max_table_size(void) { return MAX_TABLE_SIZE; }