tests/syntax/oracle/ast_diff_1.res.oracle · 2cca0b6138e781fda309aefee931d7a637770266 · pub / frama-c

3 years ago

[kernel] do not assume logic symbols are defined during ast diff · 2cca0b61

Virgile Prevosto authored 3 years ago and

David Bühler committed 2 years ago

actually, we visit the spec of a function at its first occurrence,
so that it is possible that some global logic definitions
that are used in the constract haven't been visited yet.

2cca0b61

History

[kernel] do not assume logic symbols are defined during ast diff

Virgile Prevosto authored 3 years ago and

David Bühler committed 2 years ago

actually, we visit the spec of a function at its first occurrence,
so that it is possible that some global logic definitions
that are used in the constract haven't been visited yet.