Test 027 passes

malcolmstill · Mar 26, 2024 · a92c5b0 · a92c5b0
1 parent d1d7f3b
commit a92c5b0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/biscuit-datalog/src/expression.zig b/biscuit-datalog/src/expression.zig
@@ -219,9 +219,9 @@ const Binary = enum {
                 .greater_or_equal => .{ .bool = i >= j },
                 .equal => .{ .bool = i == j },
                 .not_equal => .{ .bool = i != j },
-                .add => .{ .integer = i + j },
-                .sub => .{ .integer = i - j },
-                .mul => .{ .integer = i * j },
+                .add => .{ .integer = try std.math.add(i64, i, j) },
+                .sub => .{ .integer = try std.math.sub(i64, i, j) },
+                .mul => .{ .integer = try std.math.mul(i64, i, j) },
                 .div => .{ .integer = @divExact(i, j) },
                 .bitwise_and => .{ .integer = i & j },
                 .bitwise_or => .{ .integer = i | j },

diff --git a/biscuit-samples/src/main.zig b/biscuit-samples/src/main.zig
@@ -118,6 +118,7 @@ pub fn validate(alloc: mem.Allocator, token: []const u8, public_key: std.crypto.
                     },
                 },
                 .Execution => runValidation(alloc, token, public_key, authorizer_code, &errors) catch |err| switch (err) {
+                    error.Overflow => return,
                     else => return err,
                 },
             }