diff --git a/compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding2.mlir b/compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding2.mlir index 1fcc4e5cb..5138b8b09 100644 --- a/compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding2.mlir +++ b/compiler/tests/Dialect/MidLFHE/op_mul_plain_err_padding2.mlir @@ -1,6 +1,6 @@ // RUN: not zamacompiler %s 2>&1| FileCheck %s -// CHECK-LABEL: error: the result should have one less padding bit than the input +// CHECK-LABEL: error: 'MidLFHE.mul_plain' op has unexpected padding parameter of its GLWE result, expected:1 func @mul_plain(%arg0: !MidLFHE.glwe<{1024,12,64}{2,7,0,51,-25}>) -> !MidLFHE.glwe<{1024,12,64}{2,7,0,51,-25}> { %0 = constant 1 : i32 %1 = "MidLFHE.mul_plain"(%arg0, %0): (!MidLFHE.glwe<{1024,12,64}{2,7,0,51,-25}>, i32) -> (!MidLFHE.glwe<{1024,12,64}{2,7,0,51,-25}>)