enable case objects field checks

This commit is contained in:
Dmitriy Ryajov 2024-02-01 19:05:54 -06:00
parent 1c0981a642
commit 7cf4a72025
No known key found for this signature in database
GPG Key ID: DA8C680CE7C657A4
1 changed files with 2 additions and 0 deletions

View File

@ -74,6 +74,8 @@ else:
--styleCheck:usages --styleCheck:usages
--styleCheck:error --styleCheck:error
--maxLoopIterationsVM:1000000000 --maxLoopIterationsVM:1000000000
--fieldChecks:on
--warningAsError:"ProveField:on"
when (NimMajor, NimMinor) >= (1, 4): when (NimMajor, NimMinor) >= (1, 4):
--warning:"ObservableStores:off" --warning:"ObservableStores:off"