From 22878ad029a88b737c1278aac8b5fd6c1e00a6fa Mon Sep 17 00:00:00 2001
From: WeetHet <stas.ale66@gmail.com>
Date: Tue, 20 Aug 2024 15:34:00 +0300
Subject: [PATCH] Print filename and count in CI

---
 flake.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/flake.nix b/flake.nix
index ed50d0f..f271689 100644
--- a/flake.nix
+++ b/flake.nix
@@ -13,8 +13,12 @@
         packages = {
           dafny-check = pkgs.writeShellScriptBin "dafny-check" ''
             DIR=''${1:-.}
+            file_count=$(find "$DIR" -maxdepth 1 -name "*.dfy" -printf '.' | wc -m | sed 's/ //g')
+            file_no=0
             for f in "$DIR"/*.dfy
             do
+                file_no=$((file_no+1))
+                echo "Running dafny on $(basename "$f") ($file_no/$file_count)"
                 ${pkgs.dafny}/bin/dafny verify --allow-warnings --verification-time-limit 2400 $f || exit 1
             done
           '';