search

eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution
http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html
GNU General Public License v3.0
773 stars 135 forks source link

Ninja check failed on ubuntu 18.04 #71

Closed harperchen closed 3 years ago

harperchen commented 3 years ago

image

aurelf commented 3 years ago

Can you tell us more about your environment? The checks are passing on the docker image. I cannot reproduce the problem.

harperchen commented 3 years ago

Hi, thanks for the prompt reply. You can reproduce this problem by changing 20.04 in Dockerfile to 18.04.

aurelf commented 3 years ago

Ah thanks. Is there any good reason to support older distributions ? For now this isn't a priority. Additionally it would be nice if you identified the root cause (version ?), or provided a more detailed bug report (a stack trace, etc...).

aurelf commented 3 years ago

Ran some tests here, and it seems the bug report is very incomplete. I'll close for now. Please feel free to repoen with a complete bug report (please attach full logs and modifications) and/or an explanation why ubuntu 18 should be supported or even better, a patch. Thanks for using SymCC!