@@ -0,0 +1,497 @@
+// Copyright (c) 2016 Markus Alexander Kuppe. All rights reserved.%0Apackage tlc2.tool.fp;%0A%0Aimport java.io.IOException;%0A%0Apublic class MultiThreadedLSBDiskFPSetTest extends MultiThreadedFPSetTest %7B%0A%0A%09/* (non-Javadoc)%0A%09 * @see tlc2.tool.fp.AbstractFPSetTest#getFPSet(long)%0A%09 */%0A%09@Override%0A%09protected FPSet getFPSet(final FPSetConfiguration fpSetConfig) throws IOException %7B%0A%09%09fpSetConfig.setRatio(1.0d); // Tests can consume all of the available VM memory%0A%09%09return new LSBDiskFPSet(fpSetConfig);%0A%09%7D%0A%7D%0A

Add test for LSBDiskFPSet.