cleanup

EasyCrypt · Oct 9, 2024 · 7883d93 · 7883d93
1 parent f1a8456
commit 7883d93
Show file tree

Hide file tree

Showing 7 changed files with 4 additions and 2,172 deletions.
diff --git a/libs/lospecs/bitdep.ml b/libs/lospecs/bitdep.ml
diff --git a/libs/lospecs/bitdep_test.ml b/libs/lospecs/bitdep_test.ml
diff --git a/libs/lospecs/dune b/libs/lospecs/dune
@@ -7,7 +7,7 @@
  (public_name easycrypt.lospecs)
  (flags
   (:standard -open Batteries))
- (modules :standard config \ lospecs_test circuit_test bitdep_test eval_test)
+ (modules :standard config \ lospecs_test circuit_test)
  (preprocess
   (pps ppx_deriving_yojson))
  (foreign_stubs
@@ -32,22 +32,6 @@
  (promote (until-clean))
  (libraries batteries hex iter lospecs progress))
 
-(executable
- (name eval_test)
- (flags
-  (:standard -open Batteries))
- (modules eval_test)
- (promote (until-clean))
- (libraries batteries hex iter lospecs progress))
-
-(executable
- (name bitdep_test)
- (flags
-  (:standard -open Batteries))
- (modules bitdep_test)
- (promote (until-clean))
- (libraries batteries hex iter lospecs progress))
-
 (ocamllex lexer)
 
 (menhir