Commit 75446557 authored by Vladimír Štill's avatar Vladimír Štill
Browse files

lib: Produce partial counterexamples, but be faster

parent b877176d

lib/grammars_cfg.py

+3 −1
Original line number Diff line number Diff line
@@ -626,7 +626,9 @@ class CFG: 


                    if max(nxl, nxr) > full_cmp_cnt or min_size > max_cmp_len:

                        break

                if left_ce is not None and right_ce is not None:



                # produce counterexample even if it is only partial

                if left_ce is not None or right_ce is not None:

                    return mkres()



        # produce counterexample even if it is only partial