search

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

(Performance) comparison Jansen et al. #25

Closed xhajnal closed 3 years ago

xhajnal commented 5 years ago

when installing SCC method by Jansen et al. from here an error occured

...
[ 24%] Building CXX object CMakeFiles/param_sccmc.dir/src/io/param/parametric/Model2XExplorer.cpp.o
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:97:10: error: reference to ‘basic_string’ is ambiguous
  typedef std::basic_string<PUGIXML_CHAR, std::char_traits<PUGIXML_CHAR>, std::allocator<PUGIXML_CHAR> > string_t;
          ^~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:37:57: note: candidates are: template<class _Elem, class _Traits, class _Ax> class std::basic_string
  template <class _Elem, class _Traits, class _Ax> class basic_string;
                                                         ^~~~~~~~~~~~
In file included from /usr/include/c++/7/iosfwd:39:0,
                 from /usr/include/c++/7/ios:38,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:22:
/usr/include/c++/7/bits/stringfwd.h:71:11: note:                 template<class _CharT, class _Traits, class _Alloc> class std::__cxx11::basic_string
     class basic_string;
           ^~~~~~~~~~~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:505:3: error: ‘string_t’ does not name a type; did you mean ‘strncat’?
   string_t path(char_t delimiter = '/') const;
   ^~~~~~~~
   strncat
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:918:3: error: ‘string_t’ does not name a type; did you mean ‘strncat’?
   string_t evaluate_string(const xpath_node& n) const;
   ^~~~~~~~
   strncat
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:1066:2: error: reference to ‘basic_string’ is ambiguous
  std::basic_string<char, std::char_traits<char>, std::allocator<char> > PUGIXML_FUNCTION as_utf8(const wchar_t* str);
  ^~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:37:57: note: candidates are: template<class _Elem, class _Traits, class _Ax> class std::basic_string
  template <class _Elem, class _Traits, class _Ax> class basic_string;
                                                         ^~~~~~~~~~~~
In file included from /usr/include/c++/7/iosfwd:39:0,
                 from /usr/include/c++/7/ios:38,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:22:
/usr/include/c++/7/bits/stringfwd.h:71:11: note:                 template<class _CharT, class _Traits, class _Alloc> class std::__cxx11::basic_string
     class basic_string;
           ^~~~~~~~~~~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:1067:2: error: reference to ‘basic_string’ is ambiguous
  std::basic_string<char, std::char_traits<char>, std::allocator<char> > PUGIXML_FUNCTION as_utf8(const std::basic_string<wchar_t, std::char_traits<wchar_t>, std::allocator<wchar_t> >& str);
  ^~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:37:57: note: candidates are: template<class _Elem, class _Traits, class _Ax> class std::basic_string
  template <class _Elem, class _Traits, class _Ax> class basic_string;
                                                         ^~~~~~~~~~~~
In file included from /usr/include/c++/7/iosfwd:39:0,
                 from /usr/include/c++/7/ios:38,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:22:
/usr/include/c++/7/bits/stringfwd.h:71:11: note:                 template<class _CharT, class _Traits, class _Alloc> class std::__cxx11::basic_string
     class basic_string;
           ^~~~~~~~~~~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:1070:2: error: reference to ‘basic_string’ is ambiguous
  std::basic_string<wchar_t, std::char_traits<wchar_t>, std::allocator<wchar_t> > PUGIXML_FUNCTION as_wide(const char* str);
  ^~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:37:57: note: candidates are: template<class _Elem, class _Traits, class _Ax> class std::basic_string
  template <class _Elem, class _Traits, class _Ax> class basic_string;
                                                         ^~~~~~~~~~~~
In file included from /usr/include/c++/7/iosfwd:39:0,
                 from /usr/include/c++/7/ios:38,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:22:
/usr/include/c++/7/bits/stringfwd.h:71:11: note:                 template<class _CharT, class _Traits, class _Alloc> class std::__cxx11::basic_string
     class basic_string;
           ^~~~~~~~~~~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:1071:2: error: reference to ‘basic_string’ is ambiguous
  std::basic_string<wchar_t, std::char_traits<wchar_t>, std::allocator<wchar_t> > PUGIXML_FUNCTION as_wide(const std::basic_string<char, std::char_traits<char>, std::allocator<char> >& str);
  ^~~
In file included from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../../IOWrapper.h:41:0,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.h:25,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:29:
/home/matej/SCCmethod/param_sccmc/src/io/param/parametric/../.././pugixml/pugixml.hpp:37:57: note: candidates are: template<class _Elem, class _Traits, class _Ax> class std::basic_string
  template <class _Elem, class _Traits, class _Ax> class basic_string;
                                                         ^~~~~~~~~~~~
In file included from /usr/include/c++/7/iosfwd:39:0,
                 from /usr/include/c++/7/ios:38,
                 from /usr/include/c++/7/ostream:38,
                 from /usr/include/c++/7/iostream:39,
                 from /home/matej/SCCmethod/param_sccmc/src/io/param/parametric/Model2XExplorer.cpp:22:
/usr/include/c++/7/bits/stringfwd.h:71:11: note:                 template<class _CharT, class _Traits, class _Alloc> class std::__cxx11::basic_string
     class basic_string;
           ^~~~~~~~~~~~
CMakeFiles/param_sccmc.dir/build.make:914: recipe for target 'CMakeFiles/param_sccmc.dir/src/io/param/parametric/Model2XExplorer.cpp.o' failed
make[2]: *** [CMakeFiles/param_sccmc.dir/src/io/param/parametric/Model2XExplorer.cpp.o] Error 1
CMakeFiles/Makefile2:67: recipe for target 'CMakeFiles/param_sccmc.dir/all' failed
make[1]: *** [CMakeFiles/param_sccmc.dir/all] Error 2
Makefile:83: recipe for target 'all' failed
make: *** [all] Error 2
xhajnal commented 3 years ago

probably only (parametric) model checking, which is leveraged by other tools