Closed ggeier closed 4 years ago
With 8a847c995db1601893d365b22d9769643e8c26ad a bug was introduced s.t. narylatch_2.txt is rewritten to {"semantics": "mealy", "inputs": ["upd", "in_0", "in_1"], "outputs": ["out_0", "out_1"], "assumptions": [], "guarantees": ["(G ((upd) -> (((((((in_0) <-> (out_0)) && ((in_0) -> (X (((out_0) U (upd)) && (G (out_0)))))) && ((! (in_0)) -> (X (((! (out_0)) U (upd)) && (G (! (out_0))))))) && ((in_1) <-> (out_1))) && ((in_1) -> (X (((out_1) U (upd)) && (G (out_1)))))) && ((! (in_1)) -> (X (((! (out_1)) U (upd)) && (G (! (out_1)))))))))"] } which is incorrect.
{"semantics": "mealy", "inputs": ["upd", "in_0", "in_1"], "outputs": ["out_0", "out_1"], "assumptions": [], "guarantees": ["(G ((upd) -> (((((((in_0) <-> (out_0)) && ((in_0) -> (X (((out_0) U (upd)) && (G (out_0)))))) && ((! (in_0)) -> (X (((! (out_0)) U (upd)) && (G (! (out_0))))))) && ((in_1) <-> (out_1))) && ((in_1) -> (X (((out_1) U (upd)) && (G (out_1)))))) && ((! (in_1)) -> (X (((! (out_1)) U (upd)) && (G (! (out_1)))))))))"] }
With 8a847c995db1601893d365b22d9769643e8c26ad a bug was introduced s.t. narylatch_2.txt is rewritten to
{"semantics": "mealy", "inputs": ["upd", "in_0", "in_1"], "outputs": ["out_0", "out_1"], "assumptions": [], "guarantees": ["(G ((upd) -> (((((((in_0) <-> (out_0)) && ((in_0) -> (X (((out_0) U (upd)) && (G (out_0)))))) && ((! (in_0)) -> (X (((! (out_0)) U (upd)) && (G (! (out_0))))))) && ((in_1) <-> (out_1))) && ((in_1) -> (X (((out_1) U (upd)) && (G (out_1)))))) && ((! (in_1)) -> (X (((! (out_1)) U (upd)) && (G (! (out_1)))))))))"] }which is incorrect.