gdellapenna / upmurphi Goto Github PK

Hello!
Thank you for making this planner available. I was testing it out on the example problems and all of them failed with Segmentation Fault during the "Compiling Model" step.

Below is the stack trace:
`Start UPMurphi translation...

----- CONFIG FILE -----
PDDL Domain File: /root/UPMurphi/ex/generator_linear/genlinear.pddl
PDDL Problem File: /root/UPMurphi/ex/generator_linear/genproblinear.pddl
The output model will be written on file: /root/UPMurphi/ex/generator_linear/genlinear.m
The output external function file will be written on file: /root/UPMurphi/ex/generator_linear/genlinear.h
----- DOMAIN SETTINGS -----
Time discretisation: 1.000000
Real number: (Integer): 5.000000 digits for the integer part
Real number: (Fractional) 2.000000 digits for the fractional part

...Translation completed

Errors: 0, warnings: 0
PDDL compilation successful, no errors
UPMurphi model generated in file /root/UPMurphi/ex/generator_linear/genlinear.m
Compiling model...
Segmentation fault
`
Thanks!

help im failing

lex.yy.cc: In member function ‘virtual int yyFlexLexer::yylex()’:
lex.yy.cc:1166:18: error: no match for ‘operator=’ (operand types are ‘std::istream’ {aka ‘std::basic_istream’} and ‘std::istream*’ {aka ‘std::basic_istream’})
1166 | yyin = & std::cin;
| ^~~
In file included from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/istream:625:7: note: candidate: ‘std::basic_istream<_CharT, _Traits>& std::basic_istream<_CharT, _Traits>::operator=(std::basic_istream<_CharT, _Traits>&&) [with _CharT = char; _Traits = std::char_traits]’
625 | operator=(basic_istream&& __rhs)
| ^~~~~~~~
/usr/include/c++/9/istream:625:33: note: no known conversion for argument 1 from ‘std::istream’ {aka ‘std::basic_istream’} to ‘std::basic_istream&&’
625 | operator=(basic_istream&& __rhs)
| ~~~~~~~~~~~~~~~~^~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc:1169:19: error: no match for ‘operator=’ (operand types are ‘std::ostream’ {aka ‘std::basic_ostream’} and ‘std::ostream’ {aka ‘std::basic_ostream’})
1169 | yyout = & std::cout;
| ^~~~
In file included from /usr/include/c++/9/istream:39,
from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/ostream:408:7: note: candidate: ‘std::basic_ostream<_CharT, _Traits>& std::basic_ostream<_CharT, _Traits>::operator=(std::basic_ostream<_CharT, _Traits>&&) [with _CharT = char; _Traits = std::char_traits]’
408 | operator=(basic_ostream&& __rhs)
| ^~~~~~~~
/usr/include/c++/9/ostream:408:33: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘std::basic_ostream&&’
408 | operator=(basic_ostream&& __rhs)
| ~~~~~~~~~~~~~~~~^~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc:1818:46: error: cannot convert ‘std::istream’ {aka ‘std::basic_istream’} to ‘std::istream’ {aka ‘std::basic_istream’} in assignment
1818 | YY_CURRENT_BUFFER_LVALUE->yy_input_file = yyin;
| ^~~~
| |
| std::istream {aka std::basic_istream}
lex.yy.cc: In constructor ‘yyFlexLexer::yyFlexLexer(std::istream, std::ostream*)’:
lex.yy.cc:1929:75: error: ‘std::basic_istream<_CharT, _Traits>::basic_istream() [with _CharT = char; _Traits = std::char_traits]’ is protected within this context
1929 | yyFlexLexer::yyFlexLexer( std::istream* arg_yyin, std::ostream* arg_yyout )
| ^
In file included from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/istream:606:7: note: declared protected here
606 | basic_istream()
| ^~~~~~~~~~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc:1929:75: error: ‘std::basic_ostream<_CharT, _Traits>::basic_ostream() [with _CharT = char; _Traits = std::char_traits]’ is protected within this context
1929 | yyFlexLexer::yyFlexLexer( std::istream* arg_yyin, std::ostream* arg_yyout )
| ^
In file included from /usr/include/c++/9/istream:39,
from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/ostream:390:7: note: declared protected here
390 | basic_ostream()
| ^~~~~~~~~~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc:1931:9: error: no match for ‘operator=’ (operand types are ‘std::istream’ {aka ‘std::basic_istream’} and ‘std::istream*’ {aka ‘std::basic_istream’})
1931 | yyin = arg_yyin;
| ^~~~~~~~
In file included from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/istream:625:7: note: candidate: ‘std::basic_istream<_CharT, _Traits>& std::basic_istream<_CharT, _Traits>::operator=(std::basic_istream<_CharT, _Traits>&&) [with _CharT = char; _Traits = std::char_traits]’
625 | operator=(basic_istream&& __rhs)
| ^~~~~~~~
/usr/include/c++/9/istream:625:33: note: no known conversion for argument 1 from ‘std::istream’ {aka ‘std::basic_istream’} to ‘std::basic_istream&&’
625 | operator=(basic_istream&& __rhs)
| ~~~~~~~~~~~~~~~~^~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc:1932:10: error: no match for ‘operator=’ (operand types are ‘std::ostream’ {aka ‘std::basic_ostream’} and ‘std::ostream’ {aka ‘std::basic_ostream’})
1932 | yyout = arg_yyout;
| ^~~~~~~~~
In file included from /usr/include/c++/9/istream:39,
from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/ostream:408:7: note: candidate: ‘std::basic_ostream<_CharT, _Traits>& std::basic_ostream<_CharT, _Traits>::operator=(std::basic_ostream<_CharT, _Traits>&&) [with _CharT = char; _Traits = std::char_traits]’
408 | operator=(basic_ostream&& __rhs)
| ^~~~~~~~
/usr/include/c++/9/ostream:408:33: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘std::basic_ostream&&’
408 | operator=(basic_ostream&& __rhs)
| ~~~~~~~~~~~~~~~~^~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc: In member function ‘virtual void yyFlexLexer::switch_streams(std::istream, std::ostream*)’:
lex.yy.cc:1978:11: error: no match for ‘operator=’ (operand types are ‘std::ostream’ {aka ‘std::basic_ostream’} and ‘std::ostream*’ {aka ‘std::basic_ostream’})
1978 | yyout = new_out;
| ^~~~~~~
In file included from /usr/include/c++/9/istream:39,
from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/ostream:408:7: note: candidate: ‘std::basic_ostream<_CharT, _Traits>& std::basic_ostream<_CharT, _Traits>::operator=(std::basic_ostream<_CharT, _Traits>&&) [with _CharT = char; _Traits = std::char_traits]’
408 | operator=(basic_ostream&& __rhs)
| ^~~~~~~~
/usr/include/c++/9/ostream:408:33: note: no known conversion for argument 1 from ‘std::ostream’ {aka ‘std::basic_ostream’} to ‘std::basic_ostream&&’
408 | operator=(basic_ostream&& __rhs)
| ~~~~~~~~~~~~~~~~^~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc: In member function ‘virtual int yyFlexLexer::LexerInput(char, int)’:
lex.yy.cc:1987:11: error: base operand of ‘->’ has non-pointer type ‘std::istream’ {aka ‘std::basic_istream’}
1987 | if ( yyin->eof() || yyin->fail() )
| ^~
lex.yy.cc:1987:26: error: base operand of ‘->’ has non-pointer type ‘std::istream’ {aka ‘std::basic_istream’}
1987 | if ( yyin->eof() || yyin->fail() )
| ^~
lex.yy.cc:1991:6: error: base operand of ‘->’ has non-pointer type ‘std::istream’ {aka ‘std::basic_istream’}
1991 | yyin->get( buf[0] );
| ^~
lex.yy.cc:1993:11: error: base operand of ‘->’ has non-pointer type ‘std::istream’ {aka ‘std::basic_istream’}
1993 | if ( yyin->eof() )
| ^~
lex.yy.cc:1996:11: error: base operand of ‘->’ has non-pointer type ‘std::istream’ {aka ‘std::basic_istream’}
1996 | if ( yyin->bad() )
| ^~
lex.yy.cc: In member function ‘virtual void yyFlexLexer::LexerOutput(const char*, int)’:
lex.yy.cc:2013:14: error: base operand of ‘->’ has non-pointer type ‘std::ostream’ {aka ‘std::basic_ostream’}
2013 | (void) yyout->write( buf, size );
| ^~
lex.yy.cc: In member function ‘virtual void yyFlexLexer::yyrestart(std::istream*)’:
lex.yy.cc:2333:37: error: cannot convert ‘std::istream*’ {aka ‘std::basic_istream’} to ‘std::istream&’ {aka ‘std::basic_istream&’}
2333 | yy_init_buffer( YY_CURRENT_BUFFER, input_file );
| ^~~~~~~~~~
| |
| std::istream {aka std::basic_istream}
In file included from lex.yy.cc:323,
from pddl+.yacc:1423:
/usr/include/FlexLexer.h:156:58: note: initializing argument 2 of ‘void yyFlexLexer::yy_init_buffer(yy_buffer_state, std::istream&)’
156 | void yy_init_buffer( yy_buffer_state* b, std::istream& s );
| ~~~~~~~~~~~~~~^
In file included from pddl+.yacc:1423:
lex.yy.cc: In member function ‘void yyFlexLexer::yy_load_buffer_state()’:
lex.yy.cc:2376:35: error: no match for ‘operator=’ (operand types are ‘std::istream’ {aka ‘std::basic_istream’} and ‘std::istream*’ {aka ‘std::basic_istream’})
2376 | yyin = YY_CURRENT_BUFFER_LVALUE->yy_input_file;
| ^~~~~~~~~~~~~
In file included from /usr/include/c++/9/fstream:38,
from pddl+.yacc:45:
/usr/include/c++/9/istream:625:7: note: candidate: ‘std::basic_istream<_CharT, _Traits>& std::basic_istream<_CharT, _Traits>::operator=(std::basic_istream<_CharT, _Traits>&&) [with _CharT = char; _Traits = std::char_traits]’
625 | operator=(basic_istream&& __rhs)
| ^~~~~~~~
/usr/include/c++/9/istream:625:33: note: no known conversion for argument 1 from ‘std::istream’ {aka ‘std::basic_istream’} to ‘std::basic_istream&&’
625 | operator=(basic_istream&& __rhs)
| ~~~~~~~~~~~~~~~~^~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc: In member function ‘virtual yy_buffer_state yyFlexLexer::yy_create_buffer(std::istream*, int)’:
lex.yy.cc:2405:21: error: cannot convert ‘std::istream*’ {aka ‘std::basic_istream’} to ‘std::istream&’ {aka ‘std::basic_istream&’}
2405 | yy_init_buffer( b, file );
| ^~~~
| |
| std::istream {aka std::basic_istream}
In file included from lex.yy.cc:323,
from pddl+.yacc:1423:
/usr/include/FlexLexer.h:156:58: note: initializing argument 2 of ‘void yyFlexLexer::yy_init_buffer(yy_buffer_state, std::istream&)’
156 | void yy_init_buffer( yy_buffer_state* b, std::istream& s );
| ~~~~~~~~~~~~~~^
In file included from pddl+.yacc:1423:
lex.yy.cc: At global scope:
lex.yy.cc:22:25: error: no declaration matches ‘void yyFlexLexer::yy_init_buffer(YY_BUFFER_STATE, std::istream*)’
22 | #define yyFlexLexer yyFlexLexer
| ^~~~~~~~~~~
lex.yy.cc:2433:10: note: in expansion of macro ‘yyFlexLexer’
2433 | void yyFlexLexer::yy_init_buffer( YY_BUFFER_STATE b, std::istream* file )
| ^~~~~~~~~~~
In file included from lex.yy.cc:323,
from pddl+.yacc:1423:
/usr/include/FlexLexer.h:156:8: note: candidate is: ‘void yyFlexLexer::yy_init_buffer(yy_buffer_state*, std::istream&)’
156 | void yy_init_buffer( yy_buffer_state* b, std::istream& s );
| ^~~~~~~~~~~~~~
In file included from pddl+.yacc:1423:
lex.yy.cc:22:25: note: ‘class yyFlexLexer’ defined here
22 | #define yyFlexLexer yyFlexLexer
| ^~~~~~~~~~~
make[1]: *** [Makefile:27: pddl+.o] Error 1
make[1]: Leaving directory '/home/chuismi/Desktop/robotica/tercero/segundocuat/planificacion/UPMurphi/src/UPMurphi_parser'
make: *** [Makefile:7: pddl2upm] Error 2