Disable assert that can be false with semantics dictionary

PFGimenez · May 17, 2020 · 0f4fbcb · 0f4fbcb
1 parent 7826194
commit 0f4fbcb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;