Name files for better sorting

JetBrains-Research · Aug 1, 2024 · 64b7cb7 · 64b7cb7
1 parent aeb0ff0
commit 64b7cb7
Show file tree

Hide file tree

Showing 19 changed files with 28 additions and 5 deletions.
diff --git a/.github/workflows/test-dafny.yml b/.github/workflows/test-dafny.yml
@@ -8,5 +8,7 @@ jobs:
       - uses: actions/checkout@v4
       - name: Install Nix
         uses: cachix/install-nix-action@v20
-      - name: Run Dafny Tests
-        run: nix run
+      - name: Test if all dafny files are named correctly
+        run: nix run .#dafny-namecheck
+      - name: Run Dafny on all files
+        run: nix run .#dafny-check
diff --git a/0-has_close_elements.dfy → 000-has_close_elements.dfy b/0-has_close_elements.dfy → 000-has_close_elements.dfy
diff --git a/1-separate-paren-groups.dfy → 001-separate-paren-groups.dfy b/1-separate-paren-groups.dfy → 001-separate-paren-groups.dfy
diff --git a/5-intersperse.dfy → 005-intersperse.dfy b/5-intersperse.dfy → 005-intersperse.dfy
diff --git a/6-parse_nested_parens.dfy → 006-parse_nested_parens.dfy b/6-parse_nested_parens.dfy → 006-parse_nested_parens.dfy
diff --git a/7-filter_by_substring.dfy → 007-filter_by_substring.dfy b/7-filter_by_substring.dfy → 007-filter_by_substring.dfy
diff --git a/9-rolling_max.dfy → 009-rolling_max.dfy b/9-rolling_max.dfy → 009-rolling_max.dfy
diff --git a/10-is_palindrome.dfy → 010-is_palindrome.dfy b/10-is_palindrome.dfy → 010-is_palindrome.dfy
diff --git a/11-string_xor.dfy → 011-string_xor.dfy b/11-string_xor.dfy → 011-string_xor.dfy
diff --git a/12-longest.dfy → 012-longest.dfy b/12-longest.dfy → 012-longest.dfy
diff --git a/13-greatest_common_divisor.dfy → 013-greatest_common_divisor.dfy b/13-greatest_common_divisor.dfy → 013-greatest_common_divisor.dfy
diff --git a/14-all_prefixes.dfy → 014-all_prefixes.dfy b/14-all_prefixes.dfy → 014-all_prefixes.dfy
diff --git a/51-remove-vowels.dfy → 051-remove-vowels.dfy b/51-remove-vowels.dfy → 051-remove-vowels.dfy
diff --git a/52-below-threshold.dfy → 052-below-threshold.dfy b/52-below-threshold.dfy → 052-below-threshold.dfy
diff --git a/53-add.dfy → 053-add.dfy b/53-add.dfy → 053-add.dfy
diff --git a/54-same-chars.dfy → 054-same-chars.dfy b/54-same-chars.dfy → 054-same-chars.dfy
diff --git a/58-common.dfy → 058-common.dfy b/58-common.dfy → 058-common.dfy
diff --git a/59-largest-prime-factor.dfy → 059-largest-prime-factor.dfy b/59-largest-prime-factor.dfy → 059-largest-prime-factor.dfy
diff --git a/flake.nix b/flake.nix
@@ -10,13 +10,34 @@
     flake-parts.lib.mkFlake { inherit inputs; } {
       systems = [ "x86_64-linux" "aarch64-linux" "aarch64-darwin" "x86_64-darwin" ];
       perSystem = { pkgs, ... }: {
-        packages.default = pkgs.writeShellScriptBin "dafny-test-all" ''
-            for f in *.dfy
+        packages = rec {
+          dafny-check = pkgs.writeShellScriptBin "dafny-check" ''
+            DIR=''${1:-.}
+            for f in DIR/*.dfy
             do
                 echo "Testing $f"
                 ${pkgs.dafny}/bin/dafny verify --allow-warnings --verification-time-limit 10 $f
             done
-        '';
+          '';
+
+          dafny-namecheck = pkgs.writeShellScriptBin "dafny-namecheck" ''
+            # Directory to check, use current directory if not specified
+            DIR=''${1:-.}
+
+            for file in "$DIR"/*.dfy; do
+              if [[ -e $file ]]; then
+                filename=$(basename "$file")
+
+                if ! [[ $filename =~ ^[0-9]{3} ]]; then
+                  echo "File $file does not start with three digits. (this is needed for better sorting)"
+                  exit 1
+                fi
+              fi
+            done
+
+            echo "All dafny files start with three digits."
+          '';
+        };
       };
     };
 }