[tests] oracles: empty struct refused by default
Showing
- tests/crowbar/complete_type.ml 4 additions, 4 deletionstests/crowbar/complete_type.ml
- tests/crowbar/mutable.ml 3 additions, 3 deletionstests/crowbar/mutable.ml
- tests/crowbar/offset_anonymous_field.ml 1 addition, 1 deletiontests/crowbar/offset_anonymous_field.ml
- tests/rte/initialized_union.c 8 additions, 7 deletionstests/rte/initialized_union.c
- tests/rte/oracle/initialized_union.0.res.oracle 70 additions, 0 deletionstests/rte/oracle/initialized_union.0.res.oracle
- tests/rte/oracle/initialized_union.1.res.oracle 0 additions, 0 deletionstests/rte/oracle/initialized_union.1.res.oracle
- tests/value/empty_struct2.c 4 additions, 0 deletionstests/value/empty_struct2.c
- tests/value/oracle/empty_base.1.res.oracle 2 additions, 0 deletionstests/value/oracle/empty_base.1.res.oracle
- tests/value/oracle/empty_struct.3.res.oracle 7 additions, 6 deletionstests/value/oracle/empty_struct.3.res.oracle
- tests/value/oracle/empty_struct.4.res.oracle 7 additions, 27 deletionstests/value/oracle/empty_struct.4.res.oracle
- tests/value/oracle/empty_struct2.res.oracle 18 additions, 18 deletionstests/value/oracle/empty_struct2.res.oracle
Loading
Please register or sign in to comment