event name must be in CapWords

event name must be in CapWords

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Use Custom Errors instead of require statements

Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-node@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.

Variable "console" is unused

Variable "_fuzz" is unused

Function order is incorrect, modifier definition can not go after internal view function (line 319)

Found more than one contract per file. 2 contracts found!

global import of path ./BColor.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)

global import of path ./BPool.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)

Function order is incorrect, state variable declaration can not go after event definition (line 23)

global import of path ./BNum.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)

global import of path ./BConst.sol is not allowed. Specify names to import individually or bind all exports of the module into a name (import "path" as Name)