LLZK
2.0.0
An open-source IR for Zero Knowledge (ZK) circuits
Loading...
Searching...
No Matches
Enums.capi.test.cpp.inc
Go to the documentation of this file.
1
/*===- TableGen'erated file -------------------------------------*- C++ -*-===*\
2
|* *|
3
|* Enum C API Tests *|
4
|* *|
5
|* Automatically generated file, do not edit! *|
6
|* From: Enums.td *|
7
|* *|
8
\*===----------------------------------------------------------------------===*/
9
10
class
BoolEnumLinkTests
:
public
CAPITest {};
11
13
TEST_F
(
BoolEnumLinkTests
, Enum_LlzkBoolFeltCmpPredicate_Usage) {
14
// We create a variable and check that enum values can be assigned.
15
LlzkBoolFeltCmpPredicate
enumValue =
LlzkBoolFeltCmpPredicate_EQ
;
16
(void)enumValue;
17
18
// Verify we can compare enum values
19
EXPECT_EQ(enumValue,
LlzkBoolFeltCmpPredicate_EQ
);
20
}
21
23
TEST_F
(
BoolEnumLinkTests
, Enum_LlzkBoolFeltCmpPredicate_WrapUnwrap) {
24
// We use the first enum case value for testing.
25
LlzkBoolFeltCmpPredicate
cValue =
LlzkBoolFeltCmpPredicate_EQ
;
26
27
// Test that wrap and unwrap are inverses (at compile/link time)
28
// The actual C++ type doesn't exist in test context, so we just
29
// verify the functions exist and link.
30
LlzkBoolFeltCmpPredicate
roundTrip = wrap(unwrap(cValue));
31
EXPECT_EQ(cValue, roundTrip);
32
}
LlzkBoolFeltCmpPredicate
LlzkBoolFeltCmpPredicate
Definition
Enums.capi.h.inc:18
LlzkBoolFeltCmpPredicate_EQ
@ LlzkBoolFeltCmpPredicate_EQ
llzk::boolean::FeltCmpPredicate::EQ
Definition
Enums.capi.h.inc:20
TEST_F
TEST_F(BoolEnumLinkTests, Enum_LlzkBoolFeltCmpPredicate_Usage)
This test ensures the LlzkBoolFeltCmpPredicate enum compiles and links properly.
Definition
Enums.capi.test.cpp.inc:13
BoolEnumLinkTests
Definition
Enums.capi.test.cpp.inc:10
build
include
llzk
Dialect
Bool
IR
Enums.capi.test.cpp.inc
Generated by
1.14.0
Copyright 2025 Veridise Inc. under the Apache License v2.0. Copyright 2026 Project LLZK under the Apache License v2.0.