LearnLib/learnlib — pull request #9 by stovocor (2014-01-13 09:01:53+00:00)
Title: Reuse

This makes the reuse oracle usable in multi-threaded environments.