Skip to content

Commit

Permalink
wip - ci test
Browse files Browse the repository at this point in the history
  • Loading branch information
mpernambuco committed Jul 22, 2024
1 parent 6955995 commit 09baaae
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 4 deletions.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ TEST_DIR := test
DOWNLOADDIR := downloads
SRC_DIR := src

EMULATOR_VERSION ?= v0.18.0-test2
EMULATOR_VERSION ?= v0.18.0-test4

TESTS_DATA_FILE ?= cartesi-machine-tests-data-$(EMULATOR_VERSION).deb
TESTS_DATA_DOWNLOAD_URL := https://github.com/cartesi/machine-emulator/releases/download/$(EMULATOR_VERSION)/$(TESTS_DATA_FILE)
Expand Down
4 changes: 2 additions & 2 deletions shasum-download
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
d3b254f274fd6c32e6688365886fbe6b86f91aab733a83cdb73e2461ed7a0d96 downloads/cartesi-machine-tests-data-v0.17.0.deb
8f0cd797b78466b62184257b3276d6c029c5ea5a53672036ad507cbf417d0211 downloads/uarch-riscv-tests-json-logs-v0.17.0.tar.gz
6024a9c7ebf6d10d3721753401c0edd7c3f1392cd26f1cc549fc58d15647a04a downloads/cartesi-machine-tests-data-v0.18.0-test4.deb
994af6de340e7efaf024545ddc44e850761115a9be98b82eeec441c869151525 downloads/uarch-riscv-tests-json-logs-v0.18.0-test4.tar.gz
3 changes: 2 additions & 1 deletion templates/UArchReplay.t.sol.template
Original file line number Diff line number Diff line change
Expand Up @@ -72,7 +72,7 @@ contract UArchReplay_@X@_Test is Test {
) {
continue;
}
console.log("Replaying step %d ...", j);
console.log("Replaying log file %s ...", catalog[i].logFilename);
require(
catalog[i].proofsFrequency == 1, "require proof in every step"
);
Expand All @@ -85,6 +85,7 @@ contract UArchReplay_@X@_Test is Test {
bytes32 finalRootHash =
vm.parseBytes32(string.concat("0x", catalog[i].finalRootHash));
for (uint256 j = 0; j < catalog[i].steps; j++) {
console.log("Replaying step %d ...", j);
// load json log
loadBufferFromRawJson(buffer, rj, j);
AccessLogs.Context memory accessLogs = AccessLogs.Context(
Expand Down

0 comments on commit 09baaae

Please sign in to comment.