added test case for issue #20

sempr-tk / sempr

SEMPR - Semantic Environment Mapping, Processing and Reasoning

BSD 3-Clause "New" or "Revised" License

7 stars 1 forks source link

added test case for issue #20 #24

Closed niniemann closed 6 years ago

niniemann commented 6 years ago

I tried to reproduce issue #20, but failed to do so.

Maybe the recent overhaul of DBUpdateModule fixed this already?

niniemann commented 6 years ago

I rebased this to the updated master branch and moved the test to storage_tests.cpp.

niniemann commented 6 years ago

As stated in #20 the problem seems to occur when the application is not shut down properly and the IncrementalIDGeneration has no chance to persist its changes. We should rework the id generation -- but this PR does not address the problem in any way.