@@ -26,4 +26,37 @@ contract MixedCaseTest {
2626 function Functionmixedcase () public {} //~NOTE: function names should use mixedCase
2727 function FUNCTION_MIXED_CASE () public {} //~NOTE: function names should use mixedCase
2828 function FunctionMixedCase () public {} //~NOTE: function names should use mixedCase
29+ function function_mixed_case () public {} //~NOTE: function names should use mixedCase
30+
31+ // mixedCase checks are disabled for functions that starting with:
32+ // `test`, `invariant_`, and `statefulFuzz`
33+ function test_MixedCase_Disabled () public {}
34+ function test_mixedcase_disabled () public {}
35+ function testMixedCaseDisabled () public {}
36+ function testmixedcasedisabled () public {}
37+
38+ function testFuzz_MixedCase_Disabled () public {}
39+ function testFuzz_mixedcase_disabled () public {}
40+ function testFuzzMixedCaseDisabled () public {}
41+ function testfuzzmixedcasedisabled () public {}
42+
43+ function testRevert_MixedCase_Disabled () public {}
44+ function testRevert_mixedcase_disabled () public {}
45+ function testRevertMixedCaseDisabled () public {}
46+ function testrevertmixedcasedisabled () public {}
47+
48+ function invariant_MixedCase_Disabled () public {}
49+ function invariant_mixedcase_disabled () public {}
50+ function invariant_MixedCaseDisabled () public {}
51+ function invariant_mixedcasedisabled () public {}
52+
53+ function invariantBalance_MixedCase_Enabled () public {} //~NOTE: function names should use mixedCase
54+ function invariantbalance_mixedcase_enabled () public {} //~NOTE: function names should use mixedCase
55+ function invariantBalanceMixedCaseEnabled () public {}
56+ function invariantbalancemixedcaseenabled () public {}
57+
58+ function statefulFuzz_MixedCase_Disabled () public {}
59+ function statefulFuzz_mixedcase_disabled () public {}
60+ function statefulFuzzMixedCaseDisabled () public {}
61+ function statefulFuzzmixedcasedisabled () public {}
2962}
0 commit comments