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
10
class
CastEnumLinkTests
:
public
CAPITest {};
11
13
TEST_F
(
CastEnumLinkTests
, Enum_LlzkCastOverflowSemantics_Usage) {
14
// We create a variable and check that enum values can be assigned.
15
LlzkCastOverflowSemantics
enumValue =
LlzkCastOverflowSemantics_ASSERT
;
16
(void)enumValue;
17
18
// Verify we can compare enum values
19
EXPECT_EQ(enumValue,
LlzkCastOverflowSemantics_ASSERT
);
20
}
21
23
TEST_F
(
CastEnumLinkTests
, Enum_LlzkCastOverflowSemantics_WrapUnwrap) {
24
// We use the first enum case value for testing.
25
LlzkCastOverflowSemantics
cValue =
LlzkCastOverflowSemantics_ASSERT
;
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
TEST_F(BoolEnumLinkTests, Enum_LlzkBoolFeltCmpPredicate_Usage)
This test ensures the LlzkBoolFeltCmpPredicate enum compiles and links properly.
Definition
Enums.capi.test.cpp.inc:13
LlzkCastOverflowSemantics
LlzkCastOverflowSemantics
Definition
Enums.capi.h.inc:18
LlzkCastOverflowSemantics_ASSERT
@ LlzkCastOverflowSemantics_ASSERT
llzk::cast::OverflowSemantics::ASSERT
Definition
Enums.capi.h.inc:20
CastEnumLinkTests
Definition
Enums.capi.test.cpp.inc:10
build
include
llzk
Dialect
Cast
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.