From 8731149aae1259ed184e265782fc8fda2ef2d2d8 Mon Sep 17 00:00:00 2001 From: Dominick Grift Date: Mon, 8 Jul 2024 21:38:13 +0200 Subject: nodenet: mlsconstrain --- src/net/nodenet.cil | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/src/net/nodenet.cil b/src/net/nodenet.cil index 03801a7..e530aad 100644 --- a/src/net/nodenet.cil +++ b/src/net/nodenet.cil @@ -26,13 +26,11 @@ (in mcs - (mlsconstrain (node (sendto)) + (mlsconstrain (node (recvfrom sendto)) (or (dom h1 h2) - (neq t1 constrained.typeattr))) - - (mlsconstrain (node (recvfrom)) - (or (dom l1 l2) - (neq t1 constrained.typeattr)))) + (and + (neq t1 constrained.typeattr) + (neq t2 constrained.typeattr))))) (in net -- cgit v1.2.3