"README.md" did not exist on "b5dd35634e7421f2a846ced837ddea8fc79ed6f5"
[tests] repalce some -load-script by -load-module
Showing
- tests/constant_propagation/introduction_of_non_explicit_cast.c 2 additions, 2 deletions.../constant_propagation/introduction_of_non_explicit_cast.c
- tests/journal/intra.i 3 additions, 3 deletionstests/journal/intra.i
- tests/misc/behavior_names.i 2 additions, 1 deletiontests/misc/behavior_names.i
- tests/misc/bts0452.i 2 additions, 2 deletionstests/misc/bts0452.i
- tests/misc/bts0489.i 2 additions, 1 deletiontests/misc/bts0489.i
- tests/misc/bts1201.i 3 additions, 3 deletionstests/misc/bts1201.i
- tests/misc/bts1347.i 2 additions, 2 deletionstests/misc/bts1347.i
- tests/misc/bug_0209.c 2 additions, 1 deletiontests/misc/bug_0209.c
- tests/misc/callsite.i 2 additions, 1 deletiontests/misc/callsite.i
- tests/misc/change_main.i 2 additions, 1 deletiontests/misc/change_main.i
- tests/misc/cli_string_multiple_map.i 2 additions, 1 deletiontests/misc/cli_string_multiple_map.i
- tests/misc/ensures.i 2 additions, 1 deletiontests/misc/ensures.i
- tests/misc/find_enclosing_loop.c 2 additions, 1 deletiontests/misc/find_enclosing_loop.c
- tests/misc/init_from_cil.i 2 additions, 1 deletiontests/misc/init_from_cil.i
- tests/misc/issue109.i 2 additions, 2 deletionstests/misc/issue109.i
- tests/misc/issue_191.c 2 additions, 1 deletiontests/misc/issue_191.c
- tests/misc/justcopy.i 2 additions, 1 deletiontests/misc/justcopy.i
- tests/misc/log_twice.i 1 addition, 1 deletiontests/misc/log_twice.i
- tests/misc/oracle/ensures.res.oracle 1 addition, 1 deletiontests/misc/oracle/ensures.res.oracle
- tests/misc/oracle/save_comments.res.oracle 6 additions, 3 deletionstests/misc/oracle/save_comments.res.oracle
Loading
Please register or sign in to comment