From 6dd3150bf65c28f2131ae777f46319d23c0c45c1 Mon Sep 17 00:00:00 2001 From: vkovinicTT Date: Wed, 25 Dec 2024 11:21:33 +0000 Subject: [PATCH] pr comments --- docs/src/SUMMARY.md | 2 +- docs/src/verification.md | 16 +++++++++------- 2 files changed, 10 insertions(+), 8 deletions(-) diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md index ffe8952af..dd9ca15d1 100644 --- a/docs/src/SUMMARY.md +++ b/docs/src/SUMMARY.md @@ -7,11 +7,11 @@ # Project setup - [Building](./build.md) - [Testing](./test.md) -- [Verification](./verification.md) - [Tools](./tools.md) # Dev Notes - [Running standalone FFE generated TTIRs](./dev_notes/standalone_ttir_run.md) +- [Verification](./verification.md) # User Guide - [Getting Started](./getting-started.md) diff --git a/docs/src/verification.md b/docs/src/verification.md index b5383e91b..31da96791 100644 --- a/docs/src/verification.md +++ b/docs/src/verification.md @@ -61,12 +61,14 @@ def test_add(): ## Verify Config Overview If `VerifyConfig` isn't passed as a param, default one will be used. Currently through `VerifyConfig` you can disable/enable: -| Feature | Enabled (default) | -|-----------------------------------|:-----------------:| -| Verification as a method | `True` | -| Output size check | `True` | -| Output type check | `True` | -| Output shape check | `True` | + +| Feature | Name | Enabled (default) | +|-----------------------------------|---------------------|:-----------------:| +| Verification as a method | `enabled` | `True` | +| Output length check | `verify_size` | `True` | +| Output type check | `verify_dtype` | `True` | +| Output shape check | `verify_shape` | `True` | + For more information about `VerifyConfig` you can check `forge/forge/verify/config.py`. @@ -104,7 +106,7 @@ For more information about **Checkers** you can look at `forge/forge/verify/valu

-Checkers +Checkers