Fix rules delegation for CI try 3

Certora · Dec 11, 2023 · 682fa86 · 682fa86
1 parent 9106812
commit 682fa86
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -59,14 +59,14 @@ jobs:
         rule:
           - AToken.conf
           - Pool.conf --msg "Martins rules"
-          - PoolAccurate.conf --msg "Index non decreasing part 1" --rule [_updateIndexesWrapperReachable, indexChangesOnlyWith_updateIndexes, liquidityIndexNonDecresingFor_cumulateToLiquidityIndex]
-          - PoolAccurate.conf --msg "Index non decreasing part 2" --rule [indexesNonDecresingFor_updateIndexes]
-          - PoolAccurate.conf --msg "Deposit updates AToken scaled balance" --rule [depositUpdatesUserATokenSuperBalance, depositUpdatesUserATokenSuperBalance_sanity]
-          - PoolAccurate.conf --msg "Deposit cannot change other users scaled balance" --rule [depositCannotChangeOthersATokenSuperBalance]
+          - PoolAccurate.conf --msg "Index non decreasing part 1" --rule _updateIndexesWrapperReachable, indexChangesOnlyWith_updateIndexes, liquidityIndexNonDecresingFor_cumulateToLiquidityIndex
+          - PoolAccurate.conf --msg "Index non decreasing part 2" --rule indexesNonDecresingFor_updateIndexes
+          - PoolAccurate.conf --msg "Deposit updates AToken scaled balance" --rule depositUpdatesUserATokenSuperBalance depositUpdatesUserATokenSuperBalance_sanity
+          - PoolAccurate.conf --msg "Deposit cannot change other users scaled balance" --rule depositCannotChangeOthersATokenSuperBalance
           - ReserveConfiguration.conf
           - UserConfigCLI.conf
           - StableTokenCLI.conf
           - VariableTokenCLI.conf
-          - PoolSimpleProperties.conf --msg "Deposit functionality" --rule [cannotDepositInInactiveReserve, cannotDepositInFrozenReserve, cannotDepositZeroAmount]
-          - PoolSimpleProperties.conf --msg "Withdraw functionality PLUS reachability" --rule [method_reachability, cannotWithdrawZeroAmount, cannotWithdrawFromInactiveReserve]
-          - PoolSimpleProperties.conf --msg "Borrow functionality" --rule [cannotBorrowZeroAmount, cannotBorrowOnInactiveReserve, cannotBorrowOnReserveDisabledForBorrowing, cannotBorrowOnFrozenReserve]
+          - PoolSimpleProperties.conf --msg "Deposit functionality" --rule {cannotDepositInInactiveReserve, cannotDepositInFrozenReserve, cannotDepositZeroAmount}
+          - PoolSimpleProperties.conf --msg "Withdraw functionality PLUS reachability" --rule "method_reachability", "cannotWithdrawZeroAmount", "cannotWithdrawFromInactiveReserve"
+          - PoolSimpleProperties.conf --msg "Borrow functionality" --rule "cannotBorrowZeroAmount" "cannotBorrowOnInactiveReserve" "cannotBorrowOnReserveDisabledForBorrowing" "cannotBorrowOnFrozenReserve"