From 59c26867b1676c15e61a788bda4c4249b8a977c9 Mon Sep 17 00:00:00 2001 From: "Dr. GoNoGo" <83670532+drgorillamd@users.noreply.github.com> Date: Sat, 20 Jul 2024 21:06:55 +0200 Subject: [PATCH] chore: format MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Weißer Hase --- test/invariants/PROPERTIES.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/test/invariants/PROPERTIES.md b/test/invariants/PROPERTIES.md index ccabac50..3f3a319d 100644 --- a/test/invariants/PROPERTIES.md +++ b/test/invariants/PROPERTIES.md @@ -60,8 +60,8 @@ bsubSign result should always be 0 if a == b bmul should be commutative bmul should be associative bmul should be distributive -1 should be identity for bmul -0 should be absorbing for mul +bmul should have 1 as identity +bmul should have 0 as absorving bmul result should always be gte a and b bdiv should be bmul reverse operation // <-- unsolved