Log PAC epsilon

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()