LLZK 2.1.1
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 CastEnumLinkTests : public CAPITest {};
11
13TEST_F(CastEnumLinkTests, Enum_LlzkCastOverflowSemantics_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, LlzkCastOverflowSemantics_ASSERT);
20}
21
23TEST_F(CastEnumLinkTests, Enum_LlzkCastOverflowSemantics_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 LlzkCastOverflowSemantics roundTrip = wrap(unwrap(cValue));
31 EXPECT_EQ(cValue, roundTrip);
32}
TEST_F(BoolEnumLinkTests, Enum_LlzkBoolFeltCmpPredicate_Usage)
This test ensures the LlzkBoolFeltCmpPredicate enum compiles and links properly.
LlzkCastOverflowSemantics
@ LlzkCastOverflowSemantics_ASSERT
llzk::cast::OverflowSemantics::ASSERT