Commit 30659766 authored by Sylvain Dailler's avatar Sylvain Dailler

ce data collection: recognize z3 variable.

parent 3a51fe68
......@@ -111,7 +111,9 @@ let add_vars_to_table table value =
| None -> table
| Some type_value ->
Mstr.fold (fun key (_b, elt) acc ->
let match_str = Str.regexp ("_" ^ type_value ^ "_") in
let match_str_z3 = type_value ^ "!" in
let match_str_cvc4 = "_" ^ type_value ^ "_" in
let match_str = Str.regexp ("\\(" ^ match_str_z3 ^ "\\|" ^ match_str_cvc4 ^ "\\)") in
match Str.search_forward match_str (remove_end_num key) 0 with
| exception Not_found -> acc
| _ ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment