Skip to content

Commit 92b9cc6

Browse files
committed
zkapps_examples/initialize_state: move to Alcotest
1 parent 87b7fbe commit 92b9cc6

File tree

2 files changed

+287
-272
lines changed

2 files changed

+287
-272
lines changed

src/app/zkapps_examples/test/initialize_state/dune

Lines changed: 6 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,21 +1,20 @@
1-
(library
1+
(test
22
(name initialize_state)
33
(libraries
44
;; opam libraries
5+
alcotest
56
async
67
async_kernel
78
async_unix
89
base
910
core
1011
core_kernel
11-
ppx_inline_test.config
1212
yojson
1313
;; local libraries
1414
cache_dir
1515
currency
1616
data_hash_lib
1717
genesis_constants
18-
pasta_bindings
1918
kimchi_backend
2019
kimchi_pasta
2120
kimchi_pasta.basic
@@ -26,11 +25,12 @@
2625
mina_numbers
2726
mina_state
2827
mina_transaction_logic
28+
pasta_bindings
2929
pickles
3030
pickles.backend
3131
pickles_types
32-
random_oracle_input
3332
random_oracle
33+
random_oracle_input
3434
sgn
3535
signature_lib
3636
snark_params
@@ -39,10 +39,8 @@
3939
transaction_snark
4040
transaction_snark_tests
4141
with_hash
42-
zkapps_initialize_state
43-
zkapps_examples)
44-
(inline_tests
45-
(flags -verbose -show-counts))
42+
zkapps_examples
43+
zkapps_initialize_state)
4644
(preprocess
4745
(pps ppx_snarky ppx_version ppx_jane))
4846
(instrumentation

0 commit comments

Comments
 (0)