[Scstudio-devel] [ scstudio-Bugs-3367960 ] Time Consistent Checker Crash

[SourceForge.net <no...@so...>]

Bugs item #3367960, was opened at 2011-07-15 06:26
Message generated for change (Settings changed) made by lkorenciak
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3367960&group_id=219467

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: Verification algorithms
Group: None
>Status: Closed
Resolution: None
Priority: 9
Private: No
Submitted By: Vojtech Rehak (xrehak)
Assigned to: Lubos Korenciak (lkorenciak)
Summary: Time Consistent Checker Crash

Initial Comment:
Time consistent checker crashes on the attached input file.
On Windows, it crashes Visio.
On linux: checker_test" "..?../check/time/libsctime.so" "Time Consistent" ~/Fail.mpr  "1" 
         returns: 
checker_test: /usr/include/boost/smart_ptr/intrusive_ptr.hpp:166: T* boost::intrusive_ptr<T>::operator->() const [with T = BMsc]: Assertion `px != 0' failed.
Aborted


----------------------------------------------------------------------

>Comment By: Lubos Korenciak (lkorenciak)
Date: 2011-11-26 14:41

Message:
fixed by commit 1210

----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=1046486&aid=3367960&group_id=219467