Fix rules delegation for CI try 4

Certora · Dec 11, 2023 · b9cf55a · b9cf55a
1 parent 682fa86
commit b9cf55a
Showing 1 changed file with 6 additions and 6 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 "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"