Re: [Ass3] Task 0.1 Seg fault

From: Anja Karl <anja.karl ***AT***student.tugraz.at>
Date: Thu, 17 Nov 2016 20:47:15 +0100
Subject: Re: [Ass3] Task 0.1 Seg fault
Newsgroups: tu-graz.lv.vt
Organization: Technische Universitaet Graz
Message-id: <o0l12n$26n$1@news.tugraz.at>
User-agent: Postbox 4.0.8 (Windows/20151105)
References: <o0kt3b$dqf$1@news.tugraz.at>
Hi,

could you please post the (valgrind) output of your segfault here?

Anja


Martin Steinkellner schrieb:
Hello,

When trying to execute the commands from Task 0.1 I receive a Seg fault:

make syntax
./hoare < tests/bar.hoare
./hoare < tests/while.hoare

The versions for flex, lemon and Z3 are those as described in the
handout pdf.

Any hints?

Kind regards