Skip to main content

Browse the archive

Revision 322c73366a9198d5bd6be08e91b729c775761821 authored by Diane Gallois-Wong on 31 August 2022, 15:57:02 UTC, committed by Marge Bot on 06 September 2022, 08:21:04 UTC 
Plugin/test: update filter state tests
 
Notably, remove plugin tests on 1M, since the plugin is no longer
responsible for enforcing 1M. Similar tests on 1M already exist
in tezt, and will be extended in the next commit to cover all
the cases of the removed tests.
1 parent 995112f
Raw File
dune 
; This file was automatically generated, do not edit.
; Edit file manifest/main.ml instead.

(env (_ (env-vars (NODE_PRELOAD hacl-wasm))))

(library
 (name tezos_hacl)
 (public_name tezos-hacl)
 (instrumentation (backend bisect_ppx))
 (libraries
  hacl-star
  hacl-star-raw
  ctypes_stubs_js)
 (js_of_ocaml
  (javascript_files runtime-generated.js helper.js random.js evercrypt.js)))

(rule
 (targets runtime-generated.js)
 (deps gen/api.json gen/gen.exe random.js evercrypt.js)
 (action
  (with-stdout-to
   %{targets}
   (run gen/gen.exe -api gen/api.json -stubs random.js -stubs evercrypt.js))))
back to top