diff options
Diffstat (limited to 'synth.py')
| -rw-r--r-- | synth.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/synth.py b/synth.py index c35fb84..ee74074 100644 --- a/synth.py +++ b/synth.py @@ -21,6 +21,7 @@ from argparse import ArgumentParser from cProfile import run from functools import partial from pathlib import Path +from sys import stderr from pacfix import learn from pacfix.invariant import INVARIANT_MAP, InvariantType @@ -52,6 +53,7 @@ with open(args.input / 'list') as f: live_vars = get_live_vars(f) vals_neg, vals_pos = parse_valuation(get_valuations(args.input / 'neg'), get_valuations(args.input / 'pos')) result = learn(live_vars, vals_neg, vals_pos, args.delta) +print('PAC epsilon:', result.pac_epsilon, file=stderr) for i in result.inv_mgr.invs: write_invariant(i) print() |