[aorai] update oracles
Showing
- src/plugins/aorai/tests/ya/oracle/aorai_ptr_field.res.oracle 12 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/aorai_ptr_field.res.oracle
- src/plugins/aorai/tests/ya/oracle/assigns.0.res.oracle 84 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/assigns.0.res.oracle
- src/plugins/aorai/tests/ya/oracle/assigns.1.res.oracle 24 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/assigns.1.res.oracle
- src/plugins/aorai/tests/ya/oracle/bts1289.0.res.oracle 20 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/bts1289.0.res.oracle
- src/plugins/aorai/tests/ya/oracle/bts1289.1.res.oracle 84 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/bts1289.1.res.oracle
- src/plugins/aorai/tests/ya/oracle/declared_function.res.oracle 12 additions, 0 deletions...lugins/aorai/tests/ya/oracle/declared_function.res.oracle
- src/plugins/aorai/tests/ya/oracle/deterministic.res.oracle 48 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/deterministic.res.oracle
- src/plugins/aorai/tests/ya/oracle/formals.res.oracle 46 additions, 3 deletionssrc/plugins/aorai/tests/ya/oracle/formals.res.oracle
- src/plugins/aorai/tests/ya/oracle/function_ptr.res.oracle 36 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/function_ptr.res.oracle
- src/plugins/aorai/tests/ya/oracle/generate_assigns_bts1290.res.oracle 10 additions, 0 deletions...aorai/tests/ya/oracle/generate_assigns_bts1290.res.oracle
- src/plugins/aorai/tests/ya/oracle/hoare_seq.res.oracle 180 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/hoare_seq.res.oracle
- src/plugins/aorai/tests/ya/oracle/incorrect.res.oracle 12 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/incorrect.res.oracle
- src/plugins/aorai/tests/ya/oracle/logical_operators.res.oracle 20 additions, 0 deletions...lugins/aorai/tests/ya/oracle/logical_operators.res.oracle
- src/plugins/aorai/tests/ya/oracle/loop_bts1050.res.oracle 270 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/loop_bts1050.res.oracle
- src/plugins/aorai/tests/ya/oracle/metavariables-right.res.oracle 60 additions, 0 deletions...gins/aorai/tests/ya/oracle/metavariables-right.res.oracle
- src/plugins/aorai/tests/ya/oracle/monostate.res.oracle 24 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/monostate.res.oracle
- src/plugins/aorai/tests/ya/oracle/not_prm.res.oracle 12 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/not_prm.res.oracle
- src/plugins/aorai/tests/ya/oracle/observed.res.oracle 84 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/observed.res.oracle
- src/plugins/aorai/tests/ya/oracle/other.res.oracle 60 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/other.res.oracle
- src/plugins/aorai/tests/ya/oracle/seq.res.oracle 270 additions, 0 deletionssrc/plugins/aorai/tests/ya/oracle/seq.res.oracle
Loading
Please register or sign in to comment