Crash in debug mode (Windows 8.1, boost 1.57)

[Alexander Bobkov]

Hi,

owl_cpp is constantly crashing in debug mode in submit function.

My configuration:
Windows 8.1
Visual Studio 2013
Boost 1.57 (there was a bug in boost.range https://svn.boost.org/trac/boost/ticket/10754)
And I've also changed build scripts to use my own libxml2 binary with ICU support.

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

Cheers,
Alexander

[M Levin]

Hi Alexander,

Which version of owlcpp? v0.3.4? Repo HEAD?
Is this the complete error message?
Do the unit tests run?
What about the release mode? Does that work?

I saw crashes in debug mode with HEAD, MSVC >= 12. They come from assertions in MSVC STL. I have not figured out the reason yet. The release version works fine for me though. No problems with other compilers either

Best

Mikhail

[Alexander Bobkov]

Mikhail,

Which version of owlcpp? v0.3.4? Repo HEAD?

Repo HEAD

Is this the complete error message?

Debug Assertion Failed. Expression: Vector iterators incompatible

Do the unit tests run?

I did not ran unit tests, but ran satisfiable.exe - the same result.

What about the release mode? Does that work?

Yes, everything works in release mode.

Cheers,
Alexander

[M Levin]

Alexander, that's the assertion that I also see with MSVC. I am planning to review my triple store search module
Best
Mikhail