Merge pull request #17902 from MinaProtocol/dw/zkapps_example_revamp_3

zkapps_examples/empty_update: move to Alcotest

Author: dannywillems

src/app/zkapps_examples/test/empty_update/dune

@@ -1,21 +1,20 @@
-(executable
+(test
  (name empty_update)
  (libraries
   ;; opam libraries
+  alcotest
   async
   async_kernel
   async_unix
   base
   core
   core_kernel
-  ppx_inline_test.config
   yojson
   ;; local libraries
   cache_dir
   currency
   data_hash_lib
   genesis_constants
-  pasta_bindings
   kimchi_backend
   kimchi_pasta
   kimchi_pasta.basic
@@ -24,13 +23,15 @@
   mina_ledger
   mina_numbers
   mina_state
+  mina_stdlib
   mina_transaction_logic
+  pasta_bindings
   pickles
   pickles.backend
   pickles_base
   pickles_types
-  random_oracle_input
   random_oracle
+  random_oracle_input
   sgn
   signature_lib
   snark_params
@@ -40,14 +41,8 @@
   transaction_snark_tests
   with_hash
   zkapps_empty_update
-  zkapps_examples
-  mina_stdlib)
+  zkapps_examples)
  (preprocess
   (pps ppx_snarky ppx_version ppx_jane))
  (instrumentation
   (backend bisect_ppx)))
-
-(rule
- (alias runtest)
- (action
-  (run ./empty_update.exe)))

src/app/zkapps_examples/test/empty_update/empty_update.ml

@@ -1,3 +1,12 @@
+(** Testing
+    -------
+
+    Component: Zkapps_examples
+    Subject: Test zkapp empty update
+    Invocation: \
+     dune exec src/app/zkapps_examples/test/empty_update/empty_update.exe
+*)
+
 open Transaction_snark_tests.Util
 open Core_kernel
 open Mina_base
@@ -137,7 +146,7 @@ let zkapp_command : Zkapp_command.t =
     ; memo
     }
 
-let () =
+let test_empty_update () =
   Ledger.with_ledger ~depth:ledger_depth ~f:(fun ledger ->
       Async.Thread_safe.block_on_async_exn (fun () ->
           let (_ : _) =
@@ -148,3 +157,8 @@ let () =
                      (add_amount zero (Currency.Amount.of_nanomina_int_exn 500))) )
           in
           check_zkapp_command_with_merges_exn ledger [ zkapp_command ] ) )
+
+let () =
+  let open Alcotest in
+  run "Empty update test"
+    [ ("empty_update", [ test_case "Empty_update" `Quick test_empty_update ]) ]