Menu
▾
▴
#219 Unexpected disparition of "xx.bps" file in a project
Sometimes when rebuilding a project (with or without "clean" option), the "obligation prover" view shows a model without the associated metrics.
"m()" instead of "m(a|b,c|d,e)"
in the resource perspective, you can see the "m.bps" file does not appear anymore.
you have to change something in b.bum file and then rebuild the project to make the m.bps file appear again.
Paul,
could you please provide an example of this? For instance, next time it happens to you, could you please attach an archive of the project and a copy of the platform log to this bug report so that I can investigate further.
Thank you,
Laurent.
This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).