From 946e41094b419d7e57c1f44ff93ed02d0fdfd4f5 Mon Sep 17 00:00:00 2001 From: Christoph Kirsch Date: Wed, 13 Dec 2023 12:38:43 +0100 Subject: [PATCH] Polishing read model just a bit --- tools/rotor.c | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/tools/rotor.c b/tools/rotor.c index 3fee4dfb..bb861f26 100644 --- a/tools/rotor.c +++ b/tools/rotor.c @@ -1630,7 +1630,6 @@ void rotor() { uint64_t* more_than_one_readable_byte_nid; uint64_t* more_than_one_readable_byte_to_read_nid; - uint64_t* pending_read_nid; uint64_t* kernel_mode_nid; uint64_t* a0_value_nid; @@ -1743,15 +1742,15 @@ void rotor() { // kernel control flow - pending_read_nid = - new_binary_boolean(OP_AND, - read_syscall_nid, - more_than_one_readable_byte_to_read_nid, - "pending read system call"); - kernel_mode_nid = new_binary_boolean(OP_AND, eval_core_active_ecall_nid, - new_binary_boolean(OP_OR, pending_read_nid, exit_syscall_nid, "pending read or exit system call"), + new_binary_boolean(OP_OR, + new_binary_boolean(OP_AND, + read_syscall_nid, + more_than_one_readable_byte_to_read_nid, + "ongoing read system call"), + exit_syscall_nid, + "ongoing read or exit system call"), "active system call"); // control flow