[WP,EVA] adds a test related to property dependencies
Showing
- src/plugins/wp/tests/wp_acsl/checks.i 19 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/checks.i
- src/plugins/wp/tests/wp_acsl/oracle/checks.0.res.oracle 75 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/oracle/checks.0.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/checks.1.res.oracle 18 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/oracle/checks.1.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle/checks.2.res.oracle 28 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/oracle/checks.2.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/checks.res.oracle 50 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/oracle_qualif/checks.res.oracle
Loading
Please register or sign in to comment