Merge branch '722-volatile-read-const-volatile-variables' into 'stable/chromium'
Resolve "[volatile] read const volatile variables" See merge request frama-c/frama-c!2426
No related branches found
No related tags found
Showing
- src/kernel_services/ast_queries/logic_typing.ml 25 additions, 21 deletionssrc/kernel_services/ast_queries/logic_typing.ml
- tests/spec/oracle/volatile_const.res.oracle 24 additions, 0 deletionstests/spec/oracle/volatile_const.res.oracle
- tests/spec/volatile_const.i 18 additions, 0 deletionstests/spec/volatile_const.i
- tests/syntax/oracle/volatile_clause.res.oracle 0 additions, 55 deletionstests/syntax/oracle/volatile_clause.res.oracle
- tests/syntax/volatile_clause.i 0 additions, 32 deletionstests/syntax/volatile_clause.i
Loading
Please register or sign in to comment