MCPcopy Create free account
hub / github.com/Whiley/WhileyCompiler / setup

Method setup

src/main/java/wycc/util/testing/TestManager.java:174–183  ·  view source on GitHub ↗
(Trie path)

Source from the content-addressed store, hash-verified

172 }
173
174 private Path setup(Trie path) throws IOException {
175 // Determine the path of the testing directory.
176 Path testDir = srcDir.resolve(path.toPath());
177 // Make sure testing directory is removed!
178 forceDelete(testDir);
179 // Make all directories required for test
180 testDir.toFile().mkdirs();
181 //
182 return testDir;
183 }
184
185 private void tearDown(Path testDir) throws IOException {
186 // Finally clean up if we get here. Otherwise, leave files in place for

Callers 1

runMethod · 0.95

Calls 3

forceDeleteMethod · 0.95
resolveMethod · 0.80
toPathMethod · 0.80

Tested by

no test coverage detected