From 0f4fbcb5cf4fb503b3c81762fbfd33929de65d57 Mon Sep 17 00:00:00 2001 From: PF Date: Sun, 17 May 2020 18:09:03 +0200 Subject: [PATCH] Disable assert that can be false with semantics dictionary --- lib/inference.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/inference.ml b/lib/inference.ml index 9f8daac..4965f4d 100644 --- a/lib/inference.ml +++ b/lib/inference.ml @@ -260,7 +260,7 @@ let search (oracle: Oracle.t) (inference_g: grammar option) (quotient_g: grammar (* print_endline (string_of_ext_grammar inj_g); *) assert (word <> None); let word = Option.get word in - assert (Quotient.is_in_language quotient e word); + (* assert (Quotient.is_in_language quotient e word); *) let word_str = string_of_word word in (* there is always a word as the trivial injection always works *) let status = Oracle.call oracle word_str in if status = Syntax_error then invalid_words := word::!invalid_words;