Merge pull request #1990 from demergent-labs/performance_counter_prop…

…erty_tests Performance counter property tests
demergent-labs · Aug 16, 2024 · a5ab26e · a5ab26e
2 parents 4b7f20b + ff2ee6b
commit a5ab26e
Show file tree

Hide file tree

Showing 29 changed files with 6,627 additions and 147,772 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -261,6 +261,7 @@ jobs:
                     "tests/property/ic_api/id",
                     "tests/property/ic_api/instruction_counter",
                     "tests/property/ic_api/is_controller",
+                    "tests/property/ic_api/performance_counter",
                     "tests/property/ic_api/time",
                     "tests/property/ic_api/trap"
                   ]

diff --git a/tests/property/ic_api/chunk/.azle/canister/canister.did b/tests/property/ic_api/chunk/.azle/canister/canister.did
diff --git a/tests/property/ic_api/chunk/.azle/canister/canister.wasm b/tests/property/ic_api/chunk/.azle/canister/canister.wasm