eurecom-s3 / symcc

SymCC: efficient compiler-based symbolic execution

Home Page:http://www.s3.eurecom.fr/tools/symbolic_execution/symcc.html

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Ninja check failed on ubuntu 18.04

harperchen opened this issue · comments

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

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

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...).

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!