> Source: [sk31104](https://support.checkpoint.com/results/sk/sk31104)

# sk31104 - Modifying FireWall-1 property "fw_light_verify" eliminates Policy Verification

| Property | Value |
|----------|-------|
| Solution ID | sk31104 |
| Date Created | 2005-08-11 |
| Last Modified | 2019-06-30 |
| Technical Level | Advanced |
| Products | Security Management Server, Multi-Domain Security Management Server |
| Versions | R82.10, R82, R81.20, R82.10, R81.20, R82 |
| Platform | Smart-1 |

## Symptoms

- Policy Verification completes successfully despite contradicting rules, e.g., rule "`Any Any Drop`" followed by "`Any Any Accept`".

## Cause

When the value of global attribute '**`fw_light_verify`** ' is set to '**`true`**', the verification for rules hiding and conflicts is skipped on the Security Management Server.

The default value of this attribute is '**`false`**'.

## Solution

This solution requires authentication. Please log in to view the full solution.

---

# Agent Instructions

This content is from the Check Point Support Center (https://support.checkpoint.com), the official knowledge base for Check Point cybersecurity products.

## Navigating This Knowledge Base

- **Complete index**: [llms.txt](https://support.checkpoint.com/llms.txt)
- **All SK articles**: [SecureKnowledge Sitemap](https://support.checkpoint.com/sitemaps/secureknowledge-sitemap-index.xml)
- **SK article URL pattern**: `https://support.checkpoint.com/results/sk/{skId}`
- **Markdown responses**: AI bot User-Agents automatically receive `text/markdown` content