Re: [Ass3] Task 0.1 Seg fault

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

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


Martin Steinkellner schrieb:

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