Exemplo n.º 1
0
void __e_acsl_globals_init(void)
{
  __gen_e_acsl_literal_string = "1234567890";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string,
                       sizeof("1234567890"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string);
  return;
}
Exemplo n.º 2
0
void __e_acsl_globals_init(void)
{
  __gen_e_acsl_literal_string = "X=%d, t[0]=%d, t[1]=%d\n";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string,
                       sizeof("X=%d, t[0]=%d, t[1]=%d\n"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string);
  return;
}
Exemplo n.º 3
0
void __e_acsl_globals_init(void)
{
  __gen_e_acsl_literal_string_4 = "tho";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_4,sizeof("tho"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_4);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_4);
  __gen_e_acsl_literal_string_3 = "thi";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_3,sizeof("thi"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_3);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_3);
  __gen_e_acsl_literal_string = "the";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string,sizeof("the"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string);
  __gen_e_acsl_literal_string_2 = "tha";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_2,sizeof("tha"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_2);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_2);
  __gen_e_acsl_literal_string_5 = "foo";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_5,sizeof("foo"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_5);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_5);
  __gen_e_acsl_literal_string_7 = "baz";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_7,sizeof("baz"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_7);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_7);
  __gen_e_acsl_literal_string_6 = "bar";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_6,sizeof("bar"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_6);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_6);
  __e_acsl_store_block((void *)(Str),(size_t)32);
  __e_acsl_full_init((void *)(& Str));
  __e_acsl_store_block((void *)(Strings),(size_t)32);
  __e_acsl_full_init((void *)(& Strings));
  __e_acsl_temporal_store_nblock((void *)(Str),
                                 (void *)__gen_e_acsl_literal_string_5);
  __e_acsl_temporal_store_nblock((void *)(& Str[1]),
                                 (void *)__gen_e_acsl_literal_string_6);
  __e_acsl_temporal_store_nblock((void *)(& Str[2]),
                                 (void *)__gen_e_acsl_literal_string_7);
  __e_acsl_temporal_store_nblock((void *)(& Str[3]),(void *)0);
  __e_acsl_temporal_store_nblock((void *)(& Strings[0][0]),
                                 (void *)__gen_e_acsl_literal_string);
  __e_acsl_temporal_store_nblock((void *)(& Strings[0][1]),
                                 (void *)__gen_e_acsl_literal_string_2);
  __e_acsl_temporal_store_nblock((void *)(& Strings[1][0]),
                                 (void *)__gen_e_acsl_literal_string_3);
  __e_acsl_temporal_store_nblock((void *)(& Strings[1][1]),
                                 (void *)__gen_e_acsl_literal_string_4);
  return;
}
Exemplo n.º 4
0
void __e_acsl_globals_init(void)
{
  __gen_e_acsl_literal_string_6 = "uoxX";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_6,sizeof("uoxX"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_6);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_6);
  __gen_e_acsl_literal_string_8 = "foo";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_8,sizeof("foo"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_8);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_8);
  __gen_e_acsl_literal_string_5 = "fFeEgGaA";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_5,
                       sizeof("fFeEgGaA"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_5);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_5);
  __gen_e_acsl_literal_string_9 = "diouxfFeEgGaAcspn";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_9,
                       sizeof("diouxfFeEgGaAcspn"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_9);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_9);
  __gen_e_acsl_literal_string_7 = "dic";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_7,sizeof("dic"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_7);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_7);
  __gen_e_acsl_literal_string = "OK: expected signal at %s\n";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string,
                       sizeof("OK: expected signal at %s\n"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string);
  __gen_e_acsl_literal_string_2 = "OK: Expected execution at %s\n";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_2,
                       sizeof("OK: Expected execution at %s\n"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_2);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_2);
  __gen_e_acsl_literal_string_4 = "FAIL: Unexpected signal at %s\n";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_4,
                       sizeof("FAIL: Unexpected signal at %s\n"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_4);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_4);
  __gen_e_acsl_literal_string_3 = "FAIL: Unexpected execution at %s\n";
  __e_acsl_store_block((void *)__gen_e_acsl_literal_string_3,
                       sizeof("FAIL: Unexpected execution at %s\n"));
  __e_acsl_full_init((void *)__gen_e_acsl_literal_string_3);
  __e_acsl_mark_readonly((void *)__gen_e_acsl_literal_string_3);
  __e_acsl_store_block((void *)(& __gen_e_acsl_strcpy),(size_t)1);
  __e_acsl_full_init((void *)(& __gen_e_acsl_strcpy));
  __e_acsl_store_block((void *)(& __gen_e_acsl_strchr),(size_t)1);
  __e_acsl_full_init((void *)(& __gen_e_acsl_strchr));
  __e_acsl_store_block((void *)(& __gen_e_acsl_strlen),(size_t)1);
  __e_acsl_full_init((void *)(& __gen_e_acsl_strlen));
  __e_acsl_store_block((void *)(& __gen_e_acsl_exit),(size_t)1);
  __e_acsl_full_init((void *)(& __gen_e_acsl_exit));
  __e_acsl_store_block((void *)(& __gen_e_acsl_abort),(size_t)1);
  __e_acsl_full_init((void *)(& __gen_e_acsl_abort));
  __e_acsl_store_block((void *)(& test_specifier_application),(size_t)1);
  __e_acsl_full_init((void *)(& test_specifier_application));
  __e_acsl_store_block((void *)(& apply_specifier),(size_t)1);
  __e_acsl_full_init((void *)(& apply_specifier));
  __e_acsl_store_block((void *)(& valid_specifiers),(size_t)8);
  __e_acsl_full_init((void *)(& valid_specifiers));
  __e_acsl_store_block((void *)(& signal_eval),(size_t)1);
  __e_acsl_full_init((void *)(& signal_eval));
  __e_acsl_store_block((void *)(& __fc_p_time_tm),(size_t)8);
  __e_acsl_full_init((void *)(& __fc_p_time_tm));
  __e_acsl_store_block((void *)(& __fc_time_tm),(size_t)36);
  __e_acsl_full_init((void *)(& __fc_time_tm));
  __e_acsl_store_block((void *)(__fc_fds),(size_t)4096);
  __e_acsl_full_init((void *)(& __fc_fds));
  __e_acsl_store_block((void *)(& __fc_fds_state),(size_t)4);
  __e_acsl_full_init((void *)(& __fc_fds_state));
  __e_acsl_store_block((void *)(& __fc_time),(size_t)4);
  __e_acsl_full_init((void *)(& __fc_time));
  __e_acsl_store_block((void *)(& __fc_p_fopen),(size_t)8);
  __e_acsl_full_init((void *)(& __fc_p_fopen));
  __e_acsl_store_block((void *)(__fc_fopen),(size_t)4096);
  __e_acsl_full_init((void *)(& __fc_fopen));
  __e_acsl_store_block((void *)(& __fc_rand_max),(size_t)8);
  __e_acsl_full_init((void *)(& __fc_rand_max));
  return;
}