Commit 280b25b4 authored by Philipp Meyer's avatar Philipp Meyer
Browse files

Update example remainder protocol with modulo usage

parent d3fec96f

examples/remainder_m3_c1.pp

+1 −1
Original line number Diff line number Diff line
@@ -112,7 +112,7 @@ 
        "_mod1",

        "_mod2"

    ],

    "predicate": "( 0 * _mod0 + 1 * _mod1 + 2 * _mod2 ) % 3 = 1",

    "predicate": "0 * _mod0 + 1 * _mod1 + 2 * _mod2 =%3 1",

    "trueStates": [

        "_mod1",

        "_modpassivetrue"

LRZ Homepage | Datenschutz | Dokumentation und Betriebsbedingungen | Impressum