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
10class BoolEnumLinkTests : public CAPITest {};
11
13TEST_F(BoolEnumLinkTests, Enum_LlzkBoolFeltCmpPredicate_Usage) {
14 // We create a variable and check that enum values can be assigned.
16 (void)enumValue;
17
18 // Verify we can compare enum values
19 EXPECT_EQ(enumValue, LlzkBoolFeltCmpPredicate_EQ);
20}
21
23TEST_F(BoolEnumLinkTests, Enum_LlzkBoolFeltCmpPredicate_WrapUnwrap) {
24 // We use the first enum case value for testing.
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_EQ
llzk::boolean::FeltCmpPredicate::EQ
TEST_F(BoolEnumLinkTests, Enum_LlzkBoolFeltCmpPredicate_Usage)
This test ensures the LlzkBoolFeltCmpPredicate enum compiles and links properly.