[tests] updated according to pretty printer changes
[quantif] updated according to AST changes: && is now left-associative
Showing
- src/plugins/e-acsl/TODO 1 addition, 1 deletionsrc/plugins/e-acsl/TODO
- src/plugins/e-acsl/quantif.ml 49 additions, 33 deletionssrc/plugins/e-acsl/quantif.ml
- src/plugins/e-acsl/tests/e-acsl-reject/oracle/quantif.res.oracle 9 additions, 12 deletions...gins/e-acsl/tests/e-acsl-reject/oracle/quantif.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.1.res.oracle 1 addition, 2 deletions...ins/e-acsl/tests/e-acsl-runtime/oracle/empty.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle 1 addition, 2 deletions...ugins/e-acsl/tests/e-acsl-runtime/oracle/empty.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf2.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_addrOf2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias2.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_alias2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_arith2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_array2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_at2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1304.c 1 addition, 2 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1304.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13042.c 1 addition, 2 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13042.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1307.c 4 additions, 7 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1307.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c 4 additions, 7 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts13072.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1324.c 4 additions, 5 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_bts1324.c
Loading
Please register or sign in to comment