[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: Bug (segmentation fault) in the generation of counterexamples
From: |
Bartkowiak, Michal (Nokia - PL/Wroclaw) |
Subject: |
RE: Bug (segmentation fault) in the generation of counterexamples |
Date: |
Fri, 8 Jan 2021 06:30:32 +0000 |
Of course, thanks!
Best regards,
Michal Bartkowiak
-----Original Message-----
From: Akim Demaille <akim@lrde.epita.fr>
Sent: Friday, January 8, 2021 6:19 AM
To: Bartkowiak, Michal (Nokia - PL/Wroclaw) <michal.bartkowiak@nokia.com>
Cc: Bison Bugs <bug-bison@gnu.org>
Subject: Re: Bug (segmentation fault) in the generation of counterexamples
Hi Michal,
> Le 7 janv. 2021 à 10:47, Bartkowiak, Michal (Nokia - PL/Wroclaw)
> <michal.bartkowiak@nokia.com> a écrit :
>
> Hello,
>
> Ok, I have minimized original grammar and prepared small grammar (attached)
> which reproduces the problem (segmentation fault is occurring and backtrace
> from debugger is analogical as in the original grammar).
Excellent! Thanks a lot for having taking the time to prepare this, it will be
most helpful.
> If you find and fix the problem it would be great if you could send me a
> patch with the solution. I would then apply it to Bison and verify that it
> also solves the problem with the compilation of the original grammar.
I have other things to finish first, but I'll try to process your issue asap.
Cheers!
- Bug (segmentation fault) in the generation of counterexamples, Bartkowiak, Michal (Nokia - PL/Wroclaw), 2021/01/05
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/06
- RE: Bug (segmentation fault) in the generation of counterexamples, Bartkowiak, Michal (Nokia - PL/Wroclaw), 2021/01/07
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/08
- RE: Bug (segmentation fault) in the generation of counterexamples,
Bartkowiak, Michal (Nokia - PL/Wroclaw) <=
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/24
- RE: Bug (segmentation fault) in the generation of counterexamples, Bartkowiak, Michal (Nokia - PL/Wroclaw), 2021/01/24
- Re: Bug (segmentation fault) in the generation of counterexamples, Akim Demaille, 2021/01/24