Commit 2024-11-04 00:48 97add9b7

View on Github →

chore: make tests into a library (#18304)

Estimated changes

added inductive DeriveToExprTests.A
added inductive DeriveToExprTests.B
added inductive DeriveToExprTests.Bar
added inductive DeriveToExprTests.C
added inductive DeriveToExprTests.D
added inductive DeriveToExprTests.Foo
added inductive DeriveToExprTests.MyMaybe
deleted inductive tests.A
deleted inductive tests.B
deleted inductive tests.Bar
deleted inductive tests.C
deleted inductive tests.D
deleted inductive tests.Foo
deleted inductive tests.MyMaybe
deleted def tests.boolFunHelper