From 689f0089b031d5cd1fefa69dff8d534f22340ee9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Mon, 8 May 2023 18:10:38 +0200 Subject: [PATCH] check malformed file --- test/Table_Tests/src/Database/SQLite_Spec.enso | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/test/Table_Tests/src/Database/SQLite_Spec.enso b/test/Table_Tests/src/Database/SQLite_Spec.enso index 20c7561ef9ba0..615f9f4deac0a 100644 --- a/test/Table_Tests/src/Database/SQLite_Spec.enso +++ b/test/Table_Tests/src/Database/SQLite_Spec.enso @@ -194,6 +194,13 @@ spec = r2.catch . should_be_a File_Error.Unsupported_Type empty.delete_if_exists + broken = enso_project.data / "transient" / "empty-data.db" + "SOME_RANDOM_DATA".write empty on_existing_file=Existing_File_Behavior.Overwrite . should_succeed + r3 = Data.read broken + r3.should_fail_with File_Error + r3.catch . should_be_a File_Error.Unsupported_Type + broken.delete_if_exists + Test.specify "should connect to a db file" <| connection = Data.read file tables = connection.tables