Skip to content

VeriFlow运行问题 #1

@RiDiWe

Description

@RiDiWe

作者您好,我目前在服务器上运行该project,总是遇到segment fault。
我的操作流程如下:(1)clone 该project到服务器上,(2)cd VeriFlow,(3) make clean all ,(4)./VeriFlow
(1)(2)(3)三个步骤都是没问题的,到了(4)总是报错segment fault,即提示 ”段错误 (核心已转储)“。
服务器环境是:Linux 64bit
Thread model: posix
gcc version 7.5.0 (Ubuntu 7.5.0-3ubuntu1~18.04)

Makefile里面提出C++11。但是应该不是环境不正确?

非常感谢您能在百忙之中抽空回答我的问题,感谢。

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions