From 70f1a35505f446f1458352b65bd6c57b8ac9307f Mon Sep 17 00:00:00 2001 From: Mathieu Desnoyers Date: Thu, 4 Jun 2009 15:45:40 -0400 Subject: [PATCH] Another ooo mem isched update really just to simplify the LTL formula. Signed-off-by: Mathieu Desnoyers --- formal-model/ooomem-two-writes/read_order.ltl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/formal-model/ooomem-two-writes/read_order.ltl b/formal-model/ooomem-two-writes/read_order.ltl index e0e986f..6ba2459 100644 --- a/formal-model/ooomem-two-writes/read_order.ltl +++ b/formal-model/ooomem-two-writes/read_order.ltl @@ -1 +1 @@ -[] (!(read_one_is_zero && read_two_is_zero)) +[] (read_one_is_one || read_two_is_one) -- 2.34.1