From 462c38e4e238922a64425b62ec06afec8f04832a Mon Sep 17 00:00:00 2001 From: "Dr. GoNoGo" <83670532+drgorillamd@users.noreply.github.com> Date: Sat, 20 Jul 2024 21:07:14 +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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/invariants/PROPERTIES.md b/test/invariants/PROPERTIES.md index 3f3a319d..b5bc2976 100644 --- a/test/invariants/PROPERTIES.md +++ b/test/invariants/PROPERTIES.md @@ -65,7 +65,7 @@ bmul should have 0 as absorving bmul result should always be gte a and b bdiv should be bmul reverse operation // <-- unsolved -1 should be identity for bdiv +bdiv should have 1 as identity bdiv should revert if b is 0 // <-- impl with wrapper to have low lvl call bdiv result should be lte a