Crash in submit function

[Denis]

Hi,

owl_cpp (repo HEAD) is constantly crashing in debug mode in submit function. It is generating an error "Debug Assertion Failed! Expression: sequence not ordered".
The same error is generated when I try to run "satisfiable.exe".

The release version works fine for me.

My configuration:
Windows 7
Visual Studio 2013
Boost 1.57 (there was a bug in boost.range https://svn.boost.org/trac/boost/ticket/10754)

Here is a stack trace: https://www.dropbox.com/s/bwc060x8awmuveo/Error.txt?dl=0.

Best,
Denis

[M Levin]

Hello, could you please try the dev branch?

[Denis]

Hi,

Thank you, for your response.
I tried to compile the dev branch and to use created libraries in my project, but I keep getting the same error.

Best,
Denis

[M Levin]

I believe the "sequence not ordered" issue is fixed in the dev branch. All unit tests and satisfiable.exe run for me correctly.

I committed a small change to fix linking under MSVC 2015.
You may have to define an extra parameter in user-config.jam:
constant ICONV_STATIC_ADDON_LIB : "C:/Program Files (x86)/Microsoft Visual Studio 14.0/VC/lib/legacy_stdio_definitions.lib" ;

Please rebuild all from scratch (delete owlcpp/out/) and let me know if it works for you. If you still see an error, please send me a small code sample to reproduce.

[Denis]

I have rebuilt all from scratch but I still see the error. Error as before occurs during the compilation of the unit tests (you can find the log file here: https://www.dropbox.com/s/84ghmdvd8n4au9f/log.txt?dl=0) and when an my application calls the submit function in debug version.

A sample of code that throws an error:

#include <owlcpp/rdf/triple_store.hpp>
#include <owlcpp/io/input.hpp>
#include <owlcpp/logic/triple_to_fact.hpp>
#include "Kernel.h"

namespace oc = owlcpp;
oc::Triple_store store;
oc::load_file("subclass_axiom.owl", store);
ReasoningKernel kernel;
const std::size_t n = submit(store, kernel, false);