SWC-103 Floating Pragma
- Using Specific Compiler Pragma in Booking.sol.
SWC-119 Shadowing State Variables
- Storage variable layouts are reviewed and any naming ambiguities are removed.
SWC-131 Presence of Unused variables
- The contract is checked to ensure no unused variables are present.