Skip to content

Commit f3f2d11

Browse files
authored
Merge pull request #162 from leancodepl/negative-enum-test
Test negative enum values
2 parents 5728040 + 0b15214 commit f3f2d11

File tree

2 files changed

+2
-0
lines changed
  • examples/simple
  • src/LeanCode.ContractsGenerator.Tests/ExampleBased

2 files changed

+2
-0
lines changed

examples/simple/enum.cs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22

33
public enum SimpleEnum
44
{
5+
Z = -1,
56
A,
67
B,
78
C = 10

src/LeanCode.ContractsGenerator.Tests/ExampleBased/Simple.cs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -89,6 +89,7 @@ public void Simple_Enum()
8989
.Compiles()
9090
.WithSingle()
9191
.Enum("SimpleEnum")
92+
.WithMember("Z", -1)
9293
.WithMember("A", 0)
9394
.WithMember("B", 1)
9495
.WithMember("C", 10);

0 commit comments

Comments
 (0)