diff options
author | Eduardo Julian | 2023-01-13 22:11:05 -0400 |
---|---|---|
committer | Eduardo Julian | 2023-01-13 22:11:05 -0400 |
commit | 0f9f87286acacb520aa3ab0252131e109184b4cb (patch) | |
tree | 69b21f7466ef4418ee6e696998dda0fcb78d26e3 /stdlib/source/test/lux/world/file.lux | |
parent | 03eb09c1e0c6de32e45579a1adaf58c9046e632f (diff) |
Better formatting for types & symbols for compilation logging.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/world/file.lux | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/world/file.lux b/stdlib/source/test/lux/world/file.lux index 0926872ac..40eeae890 100644 --- a/stdlib/source/test/lux/world/file.lux +++ b/stdlib/source/test/lux/world/file.lux @@ -211,7 +211,12 @@ move&delete (..move&delete fs parent child alternate_child)]) - (unit.coverage [/.System] + (unit.coverage [/.System + /.separator + /.file? /.directory? + /.make_directory /.directory_files /.sub_directories + /.file_size /.last_modified /.can_execute? /.read /.delete + /.modify /.write /.append /.move] (and directory?&make_directory file?&write file_size&read&append |