[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug (segmentation fault) in the generation of counterexamples
From: |
Akim Demaille |
Subject: |
Re: Bug (segmentation fault) in the generation of counterexamples |
Date: |
Wed, 6 Jan 2021 06:57:28 +0100 |
Hi Michal,
Thanks for the detailed report.
> Le 5 janv. 2021 à 15:38, Bartkowiak, Michal (Nokia - PL/Wroclaw)
> <michal.bartkowiak@nokia.com> a écrit :
>
> I hope that it would be possible to debug the problem with attached core
> file. If not, please let me know and I will try to provide more information
> about the grammar (some minimal example) I am using to generate the problem.
I have tried to use your core file on my machine, but it did not work. I'm
afraid I need a grammar file to track it.
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 <=
- 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), 2021/01/08
- 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