From 6bf17d95865f68488f94ecd17d6165d8fa4a9c3f Mon Sep 17 00:00:00 2001
From: Jan Mas Rovira <janmasrovira@gmail.com>
Date: Tue, 3 Dec 2024 12:51:57 +0100
Subject: [PATCH] add smoke test

---
 tests/smoke/Commands/format.smoke.yaml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/tests/smoke/Commands/format.smoke.yaml b/tests/smoke/Commands/format.smoke.yaml
index 1f604f29a1..61fc9e407f 100644
--- a/tests/smoke/Commands/format.smoke.yaml
+++ b/tests/smoke/Commands/format.smoke.yaml
@@ -168,6 +168,22 @@ tests:
     stderr: ''
     exit-status: 1
 
+  - name: format-project-package-dot-juvix
+    command:
+      shell:
+        - bash
+      script: |
+        temp=$(mktemp -d)
+        trap 'rm -rf -- "$temp"' EXIT
+        cd $temp
+        juvix init
+        echo "" >> Package.juvix
+        juvix format
+    stderr: ''
+    stdout:
+      contains: 'Package.juvix'
+    exit-status: 1
+
   - name: format-project-containing-unformatted-from-subdir
     command:
       shell: