It happens for me with the current master branch. Commit bc9447a63574cbd390be6e732e9ae5fa709b849a.
> On 21 May 2015, at 18:10, Eric Eide <[email protected]> wrote: > > "Pflanzer, Moritz" <[email protected]> writes: > >> I found that clang_delta seems to produce a segmentation fault if the file >> that should be reduced contains a #define preprocessor directive for a type. > > Hi! Can you tell us what version of C-Reduce you are using? This may help us > to reproduce the behavior you're seeing. > > Thanks --- > > Eric. > > -- > ------------------------------------------------------------------------------- > Eric Eide <[email protected]> . University of Utah School of > Computing > http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 > FAX
