()
| 103 | } |
| 104 | |
| 105 | private static void resetFileLocalizer() { |
| 106 | FileLocalizer.deleteTempFiles(); |
| 107 | FileLocalizer.setInitialized(false); |
| 108 | // Set random seed to generate deterministic temporary paths |
| 109 | FileLocalizer.setR(new Random(1331L)); |
| 110 | } |
| 111 | |
| 112 | @Test |
| 113 | public void testStoreLoad() throws Exception { |
no test coverage detected