Artemis icon indicating copy to clipboard operation
Artemis copied to clipboard

Published 20 hours ago • verified publisher icon cs-au-dk

Segfaults when calling TraceVisitor::isImmediatelyUnexplored()

Open BenSpencer opened this issue 11 years ago • 0 comments

I get a segfault from the dynamic_cast used in TraceVisitor::isImmediatelyUnexplored() when checking the children of branch nodes in the DepthFirstSearch of the execution tree.

Running the concolic mode on the SpiceJet or USAirways examples has exhibited this crash.

BenSpencer avatar Feb 12 '14 17:02 BenSpencer