On Thu, Sep 6, 2012 at 8:56 AM, Nicolas Anquetil Nicolas.Anquetil@inria.fr wrote:
It might be interesting in some cases to have very detailed moose models, at the level of single instruction (there is a loop, its test compares variable x to 5, ...)
That would generates incredibly huge models, of course, but for localized tasks it could be useful.
Was there some work along these lines at any point in time?
Or are we the only one to think it could be useful?
nicolas _______________________________________________ Moose-dev mailing list Moose-dev@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
Personally, I would like to be able to track the movement of data through the code - where it was first entered, what methods/classes/interfaces/whatever it passed through, where it finally ended up. I've been meaning to ask if the moose model (or MSE?) was conceived for such analysis, or is it targetted at a larger scale view (which is what I think I've seen).
So, thanks for asking. That's roughly what I'd like to know, too.
-Chris