Segfaults when calling TraceVisitor::isImmediatelyUnexplored()

cs-au-dk / Artemis

automated testing for JavaScript

http://www.brics.dk/artemis/

GNU General Public License v3.0

36 stars 10 forks source link

Segfaults when calling TraceVisitor::isImmediatelyUnexplored() #104

Open BenSpencer opened 10 years ago

BenSpencer commented 10 years ago

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.