Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Build LidyaSyft error #37

Open
beginner-nzw opened this issue Dec 9, 2024 · 1 comment
Open

Build LidyaSyft error #37

beginner-nzw opened this issue Dec 9, 2024 · 1 comment

Comments

@beginner-nzw
Copy link

make -j$(nproc --ignore=1) LydiaSyft is doing this with the following error

[ 96%] Building CXX object src/synthesis/CMakeFiles/synthesis.dir/source/Utils.cpp.o
In file included from /home/nnn/code/LydiaSyft/src/synthesis/header/automata/ExplicitStateDfa.h:11,
from /home/nnn/code/LydiaSyft/src/synthesis/header/automata/ExplicitStateDfaAdd.h:11,
from /home/nnn/code/LydiaSyft/src/synthesis/header/synthesizer/GR1LTLfSynthesizer.h:8,
from /home/nnn/code/LydiaSyft/src/synthesis/source/Utils.cpp:1:
/home/nnn/code/LydiaSyft/submodules/lydia/lib/include/lydia/dfa/mona_dfa.hpp: In member function ‘virtual int whitemech::lydia::mona_dfa::get_successor(int, const whitemech::lydia::interpretation_set&) const’:
/home/nnn/code/LydiaSyft/submodules/lydia/lib/include/lydia/dfa/mona_dfa.hpp:74:70: warning: no return statement in function returning non-void [-Wreturn-type]
74 | const interpretation_set& symbol) const override{};
| ^
/home/nnn/code/LydiaSyft/submodules/lydia/lib/include/lydia/dfa/mona_dfa.hpp: In member function ‘virtual int whitemech::lydia::mona_dfa::add_state()’:
/home/nnn/code/LydiaSyft/submodules/lydia/lib/include/lydia/dfa/mona_dfa.hpp:78:27: warning: no return statement in function returning non-void [-Wreturn-type]
78 | virtual int add_state(){};
| ^
/home/nnn/code/LydiaSyft/src/synthesis/source/Utils.cpp: In function ‘whitemech::lydia::ltlf_ptr Syft::parse_formula(const std::shared_ptrwhitemech::lydia::parsers::ltlf::LTLfDriver&, const std::string&)’:
/home/nnn/code/LydiaSyft/src/synthesis/source/Utils.cpp:74:71: error: conversion from ‘shared_ptr’ to non-scalar type ‘shared_ptr’ requested
74 | whitemech::lydia::ltlf_ptr parsed_formula = driver->get_result();
| ~~~~~~~~~~~~~~~~~~^~
make[3]: *** [src/synthesis/CMakeFiles/synthesis.dir/build.make:132:src/synthesis/CMakeFiles/synthesis.dir/source/Utils.cpp.o] 错误 1
make[2]: *** [CMakeFiles/Makefile2:4894:src/synthesis/CMakeFiles/synthesis.dir/all] 错误 2
make[1]: *** [CMakeFiles/Makefile2:4820:src/CMakeFiles/LydiaSyft.dir/rule] 错误 2
make: *** [Makefile:1089:LydiaSyft] 错误 2

@Shufang-Zhu
Copy link
Member

Could you provide more details about the error message, for instance, platform, version etc?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants