From 6595915f4714477b17c6c6a284f5e4e0037ee45b Mon Sep 17 00:00:00 2001
From: Nguyễn Gia Phong <cnx@loang.net>
Date: Mon, 3 Feb 2025 11:23:33 +0900
Subject: Log PAC epsilon

---
 synth.py | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'synth.py')

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