From 98c32edff1c9e7b01c77e9ed9fd40e8a7f4f3049 Mon Sep 17 00:00:00 2001 From: Joshua Moerman Date: Mon, 11 Apr 2022 14:35:56 +0200 Subject: [PATCH] more handy output --- satuio/uio-incr.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/satuio/uio-incr.py b/satuio/uio-incr.py index 4655db0..6fa84ba 100644 --- a/satuio/uio-incr.py +++ b/satuio/uio-incr.py @@ -29,7 +29,7 @@ from utils.utils import * # We set up some things for nice output -console = Console(highlight=False) +console = Console(highlight=False, stderr=True) # ***************** @@ -398,6 +398,8 @@ console.print(now(), 'Done') console.print(f'uios found: {100*len(uios)/len(states):.0f}%') console.print(f'avg length: {sum([len(uio) for uio in uios.values()])/len(uios):.3}') +print(f'{args.filename},{len(states)},{len(uios)},{sum([len(uio) for uio in uios.values()])}') + if args.log: with open('uio.log', 'a') as logfile: logfile.write(f'{args.filename},{len(states)},{len(uios)},{sum([len(uio) for uio in uios.values()])}\n')