[wp] Fix assigns labels for called functions
Showing
- src/plugins/wp/cfgAnnot.ml 5 additions, 1 deletionsrc/plugins/wp/cfgAnnot.ml
- src/plugins/wp/tests/wp_acsl/old-assigns.c 12 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/old-assigns.c
- src/plugins/wp/tests/wp_acsl/oracle/old-assigns.res.oracle 19 additions, 0 deletionssrc/plugins/wp/tests/wp_acsl/oracle/old-assigns.res.oracle
- src/plugins/wp/tests/wp_acsl/oracle_qualif/old-assigns.res.oracle 13 additions, 0 deletions...ins/wp/tests/wp_acsl/oracle_qualif/old-assigns.res.oracle
Loading
Please register or sign in to comment