From 68788ecff600f6a3b246e2a1d3caea4a7fc4431e Mon Sep 17 00:00:00 2001 From: Brandon Rozek Date: Thu, 3 Oct 2024 21:47:12 -0400 Subject: [PATCH] Print model when it shows VSP --- parse_magic.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/parse_magic.py b/parse_magic.py index cdf3484..deda575 100644 --- a/parse_magic.py +++ b/parse_magic.py @@ -304,6 +304,7 @@ if __name__ == "__main__": solutions: List[Model] = parse_matrices(SourceFile(sys.stdin)) print(f"Parsed {len(solutions)} matrices") for i, (model, interpretation) in enumerate(solutions): - if args['verbose']: + vsp_result = has_vsp(model, interpretation) + print(vsp_result) + if args['verbose'] or vsp_result.has_vsp: print(model) - print(has_vsp(model, interpretation))