From 2d31aad48311d02cac07b2df342a0f400a9cdb9a Mon Sep 17 00:00:00 2001 From: Arian Weber Date: Thu, 8 Feb 2024 13:00:16 +0100 Subject: [PATCH] Fix nusmv addon detection on windows --- lib/pg-tools/nusmv/runner.rb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/pg-tools/nusmv/runner.rb b/lib/pg-tools/nusmv/runner.rb index 6883f47..24a318e 100644 --- a/lib/pg-tools/nusmv/runner.rb +++ b/lib/pg-tools/nusmv/runner.rb @@ -53,7 +53,7 @@ def find_nusmv_path return Settings.numsv.path if File.file?(Settings.numsv.path) # Fall back to looking in the addon directory - candidates = Dir[File.join(PgTools.addon_dir, "*", "bin", "NuSMV")] + candidates = Dir[File.join(PgTools.addon_dir, "*", "bin", "NuSMV*")] return candidates.sort.first unless candidates.empty? end