Artemis icon indicating copy to clipboard operation
Artemis copied to clipboard

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

Segfaults when printing certain symbolic StringExpressions.

Open BenSpencer opened this issue 11 years ago • 0 comments

I am getting a segfault from the ExpressionPrinter when it visits the child node of a StringLength expression. The StringExpression child does not seem to be a valid object, causing the crash.

Seen intermittently (but regularly) on the Travelocity examples. Also saw on CathayPacific_3 in the latest run. Saw this segfault from the TraceDisplay on SpiceJet on the 26/2/14 run.

BenSpencer avatar Feb 12 '14 17:02 BenSpencer