08eb78a5b2
This PR sets up the new integrated test/bench suite. It then migrates all benchmarks and some related tests to the new suite. There's also some documentation and some linting. For now, a lot of the old tests are left alone so this PR doesn't become even larger than it already is. Eventually, all tests should be migrated to the new suite though so there isn't a confusing mix of two systems.
100 lines
2.6 KiB
Text
100 lines
2.6 KiB
Text
/-!
|
|
# Temporary Files
|
|
|
|
These tests check that temporary files and directories can be created and used.
|
|
-/
|
|
|
|
/--
|
|
Tests temporary file creation.
|
|
-/
|
|
def test : IO Unit := do
|
|
let (handle, path) ← IO.FS.createTempFile
|
|
try
|
|
let toWrite := "Hello World"
|
|
handle.putStr toWrite
|
|
handle.flush
|
|
let handle2 ← IO.FS.Handle.mk path .read
|
|
let content ← handle2.getLine
|
|
assert! (content == toWrite)
|
|
finally
|
|
IO.FS.removeFile path
|
|
|
|
#eval test
|
|
|
|
/--
|
|
Tests temporary file helper.
|
|
-/
|
|
def testWithFile : IO Unit := do
|
|
let pathRef ← IO.mkRef none
|
|
IO.FS.withTempFile fun handle path => do
|
|
pathRef.set (some path)
|
|
assert! (← path.pathExists)
|
|
let toWrite := "Hello World"
|
|
handle.putStr toWrite
|
|
handle.flush
|
|
let handle2 ← IO.FS.Handle.mk path .read
|
|
let content ← handle2.getLine
|
|
assert! (content == toWrite)
|
|
match (← pathRef.get) with
|
|
| none => assert! false
|
|
| some p => assert! (! (← p.pathExists))
|
|
|
|
#eval testWithFile
|
|
|
|
/--
|
|
Tests temporary directory creation and ensures that files can be created in it.
|
|
-/
|
|
def testDir : IO Unit := do
|
|
let path ← IO.FS.createTempDir
|
|
try
|
|
assert! (← path.isDir)
|
|
|
|
let fileList ← path.readDir
|
|
assert! (fileList.isEmpty)
|
|
|
|
let toWrite := "Hello World"
|
|
for i in *...(3 : Nat) do
|
|
IO.FS.withFile (path / s!"{i}.txt") .write fun h => do
|
|
h.putStr toWrite
|
|
h.putStr (toString i)
|
|
for i in *...(3 : Nat) do
|
|
IO.FS.withFile (path / s!"{i}.txt") .read fun h => do
|
|
let content ← h.getLine
|
|
assert! (content == toWrite ++ toString i)
|
|
|
|
let fileList := ((← path.readDir).map (·.fileName)).qsortOrd
|
|
assert! (fileList == #["0.txt", "1.txt", "2.txt"])
|
|
finally
|
|
IO.FS.removeDirAll path
|
|
|
|
#eval testDir
|
|
|
|
/--
|
|
Tests temporary directory helper.
|
|
-/
|
|
def testWithDir : IO Unit := do
|
|
let pathRef ← IO.mkRef none
|
|
IO.FS.withTempDir fun path => do
|
|
pathRef.set (some path)
|
|
assert! (← path.isDir)
|
|
|
|
let fileList ← path.readDir
|
|
assert! (fileList.isEmpty)
|
|
|
|
let toWrite := "Hello World"
|
|
for i in *...(3 : Nat) do
|
|
IO.FS.withFile (path / s!"{i}.txt") .write fun h => do
|
|
h.putStr toWrite
|
|
h.putStr (toString i)
|
|
for i in *...(3 : Nat) do
|
|
IO.FS.withFile (path / s!"{i}.txt") .read fun h => do
|
|
let content ← h.getLine
|
|
assert! (content == toWrite ++ toString i)
|
|
|
|
let fileList := ((← path.readDir).map (·.fileName)).qsortOrd
|
|
assert! (fileList == #["0.txt", "1.txt", "2.txt"])
|
|
match (← pathRef.get) with
|
|
| none => assert! false
|
|
| some p => assert! (! (← p.pathExists))
|
|
|
|
#eval testWithDir
|