// Copyright (c) 2012 Markus Alexander Kuppe. All rights reserved.
package tlc2.tool.fp;

import java.io.IOException;

public class MultiThreadedMSBDiskFPSetTest extends MultiThreadedFPSetTest {

	/* (non-Javadoc)
	 * @see tlc2.tool.fp.AbstractFPSetTest#getFPSet(long)
	 */
	@Override
	protected FPSet getFPSet(final FPSetConfiguration fpSetConfig) throws IOException {
		return new MSBDiskFPSet(fpSetConfig);
	}
}

@@ -363,16 +363,98 @@
 ption %7B%0A
+%09%09fpSetConfig.setRatio(1.0d); // Tests can consume all of the available VM memory%0A
 %09%09return

Use all available memory for FPSet in FPSet tests.