turns who-can into a generator for more live feedback

Author: Skybound1

iamspy/cli.py

@@ -79,7 +79,8 @@ def who_can(
     if Path(model).is_file():
         m.load_model(model)
 
-    print("\n".join(m.who_can(action, resource, conditions, condition_file, strict_conditions)))
+    for x in m.who_can(action, resource, conditions, condition_file, strict_conditions):
+        print(x)
 
 
 @app.command()

iamspy/model.py

@@ -243,7 +243,7 @@ def who_can(
                 sources.append(str(source)[1:-1])
                 solver.add(s != source)
                 sat = solver.check() == z3.sat
-            return sources
+                yield str(source)[1:-1]
 
     def who_can_batch_resource(
         self,