Fix nusmv addon detection on windows

ArianWeber · Feb 8, 2024 · 2d31aad · 2d31aad
1 parent cf5a705
commit 2d31aad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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