Commit fcd67916 authored by Aymeric Varasse's avatar Aymeric Varasse
Browse files

Added doc about cell index handling

parent 8d79b1f2
......@@ -423,10 +423,10 @@ let pp_relu_linear tname n env t g =
let to_activate = Base.fst n_op in
let relu_cell_to_smt idx =
let idx_str = stringify_int idx in
let idx_0 = Base.List.nth_exn idx 2 in
let idx_1 = Base.List.nth_exn idx 3 in
(* let idx_0 = Base.List.nth_exn idx 1 in
let idx_1 = Base.List.nth_exn idx 0 in *)
let idx_0 = Base.List.nth_exn idx 2 in (* Indexes working only for CAMUS networks *)
let idx_1 = Base.List.nth_exn idx 3 in (* Indexes working only for CAMUS networks *)
(* let idx_0 = Base.List.nth_exn idx 1 in (* Indexes working only for ACAS Xu networks *) *)
(* let idx_1 = Base.List.nth_exn idx 0 in (* Indexes working only for ACAS Xu networks *) *)
let constraint_string =
let table = Base.List.nth_exn tbl idx_1 in
let tl = Base.Hashtbl.to_alist table in
......
Supports Markdown
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