Formality | 在形式验证中添加不去验证的点

海狸先生0119 · 发表于 2023-2-23 08:46:25

您需要登录才可以下载或查看，没有账号？注册

×

请教各位大佬.在做形式验证的时候,我怎么去将某个点设定为不去验证?

谢谢

.

imadam · 发表于 2023-2-23 13:30:37

set_dont_verify_points

海狸先生0119 · 发表于 2023-2-23 16:31:46

imadam 发表于 2023-2-23 13:30
set_dont_verify_points

想再问一下,如果是LEC应该用什么命令呢?

谢谢.

imadam · 发表于 2023-2-23 16:39:13

海狸先生0119 发表于 2023-2-23 16:31
想再问一下,如果是LEC应该用什么命令呢?

谢谢.

可能是delete compared points

海狸先生0119 · 发表于 2023-2-24 14:54:24

imadam 发表于 2023-2-23 16:39
可能是delete compared points

好的,感谢.

账号		自动登录	找回密码
密码			注册

[求助] Formality | 在形式验证中添加不去验证的点