test: DaveConsensus

cartesi · Jan 21, 2025 · a3ac673 · a3ac673
1 parent f77ab50
commit a3ac673
Show file tree

Hide file tree

Showing 4 changed files with 408 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -13,3 +13,6 @@
 [submodule "cartesi-rollups/contracts/lib/rollups-contracts"]
 	path = cartesi-rollups/contracts/lib/rollups-contracts
 	url = https://github.com/cartesi/rollups-contracts
+[submodule "cartesi-rollups/contracts/lib/openzeppelin-contracts"]
+	path = cartesi-rollups/contracts/lib/openzeppelin-contracts
+	url = https://github.com/OpenZeppelin/openzeppelin-contracts
diff --git a/cartesi-rollups/contracts/foundry.toml b/cartesi-rollups/contracts/foundry.toml
@@ -5,6 +5,7 @@ libs = ["lib"]
 via_ir = true
 
 remappings = [
+    'openzeppelin-contracts/=lib/openzeppelin-contracts/contracts/',
     'rollups-contracts/=lib/rollups-contracts/contracts/',
     'prt-contracts/=../../prt/contracts/src/',
     'step/=../../machine/step/',

diff --git a/cartesi-rollups/contracts/lib/openzeppelin-contracts b/cartesi-rollups/contracts/lib/openzeppelin-contracts