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

Adapt pp_relu_linear to CAMUS network

parent 1660c576
......@@ -423,8 +423,8 @@ let pp_relu_linear tname n env t g =
let to_activate = Base.List.map ~f:is_positive_tuple n_op in
let relu_cell_to_smt idx =
let idx_str = stringify_int idx in
let idx_0 = Base.List.nth_exn idx 3 in
let idx_1 = Base.List.nth_exn idx 2 in
let idx_0 = Base.List.nth_exn idx 2 in
let idx_1 = Base.List.nth_exn idx 3 in
match Base.List.nth_exn
(* (idx_1 * (Base.Int.of_float(Base.Float.sqrt (Base.Float.of_int(List.length n_op)))) + idx_0 * (Base.Int.of_float(Base.Float.sqrt (Base.Float.of_int(List.length n_op)))) + idx_0 * 3) *)
(Base.List.nth_exn to_activate idx_1) idx_0
......
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