diff --git a/.gitignore b/.gitignore index 4f40d6c..d93aa51 100644 --- a/.gitignore +++ b/.gitignore @@ -1,190 +1,3 @@ -## Ignore Visual Studio temporary files, build results, and -## files generated by popular Visual Studio add-ons. - -# User-specific files -*.suo -*.user -*.sln.docstates -.vagrant/ - -# Xamarin Studio / monodevelop user-specific -*.userprefs - -# Build results - -[Dd]ebug/ -[Rr]elease/ -x64/ -build/ -[Bb]in/ -[Oo]bj/ - -# Enable "build/" folder in the NuGet Packages folder since NuGet packages use it for MSBuild targets -!packages/*/build/ - -# MSTest test Results -[Tt]est[Rr]esult*/ -[Bb]uild[Ll]og.* - -*_i.c -*_p.c -*.ilk -*.meta -*.obj -*.pch -*.pdb -*.pgc -*.pgd -*.rsp -*.sbr -*.tlb -*.tli -*.tlh -*.tmp -*.tmp_proj -*.log -*.vspscc -*.vssscc -.builds -*.pidb -*.log -*.scc - -# Visual C++ cache files -ipch/ -*.aps -*.ncb -*.opensdf -*.sdf -*.cachefile - -# Visual Studio profiler -*.psess -*.vsp -*.vspx - -# Guidance Automation Toolkit -*.gpState - -# ReSharper is a .NET coding add-in -_ReSharper*/ -*.[Rr]e[Ss]harper - -# TeamCity is a build add-in -_TeamCity* - -# DotCover is a Code Coverage Tool -*.dotCover - -# NCrunch -*.ncrunch* -.*crunch*.local.xml - -# Installshield output folder -[Ee]xpress/ - -# DocProject is a documentation generator add-in -DocProject/buildhelp/ -DocProject/Help/*.HxT -DocProject/Help/*.HxC -DocProject/Help/*.hhc -DocProject/Help/*.hhk -DocProject/Help/*.hhp -DocProject/Help/Html2 -DocProject/Help/html - -# Click-Once directory -publish/ - -# Publish Web Output -*.Publish.xml - -# Enable nuget.exe in the .nuget folder (though normally executables are not tracked) -!.nuget/NuGet.exe - -# Windows Azure Build Output -csx -*.build.csdef - -# Windows Store app package directory -AppPackages/ - -# Others -sql/ -*.Cache -ClientBin/ -[Ss]tyle[Cc]op.* -~$* -*~ -*.dbmdl -*.[Pp]ublish.xml -*.pfx -*.publishsettings - -# RIA/Silverlight projects -Generated_Code/ - -# Backup & report files from converting an old project file to a newer -# Visual Studio version. Backup files are not needed, because we have git ;-) -_UpgradeReport_Files/ -Backup*/ -UpgradeLog*.XML -UpgradeLog*.htm - -# SQL Server files -App_Data/*.mdf -App_Data/*.ldf - - -#LightSwitch generated files -GeneratedArtifacts/ -_Pvt_Extensions/ -ModelManifest.xml - -# ========================= -# Windows detritus -# ========================= - -# Windows image file caches -Thumbs.db -ehthumbs.db - -# Folder config file -Desktop.ini - -# Recycle Bin used on file shares -$RECYCLE.BIN/ - -# Mac desktop service store files -.DS_Store - -# =================================================== -# Exclude F# project specific directories and files -# =================================================== - -# NuGet Packages Directory -packages/ - -# Generated documentation folder -docs/output/ - -# Temp folder used for publishing docs -temp/ - -# Test results produced by build -TestResults.xml - -# Nuget outputs -nuget/*.nupkg -release.cmd -release.sh -localpackages/ -paket-files -*.orig -.paket/paket.exe -docs/content/license.md -docs/content/release-notes.md - # ========================= # Ocaml build files # ========================= @@ -199,145 +12,5 @@ _build/ setup.data setup.log -# ========================= -# Latex files -# ========================= - -## Core latex/pdflatex auxiliary files: -*.aux -*.lof -*.log -*.lot -*.fls -*.out -*.toc - -## Intermediate documents: -*.dvi -*-converted-to.* -# these rules might exclude image files for figures etc. -# *.ps -# *.eps -# *.pdf - -## Bibliography auxiliary files (bibtex/biblatex/biber): -*.bbl -*.bcf -*.blg -*-blx.aux -*-blx.bib -*.brf -*.run.xml - -## Build tool auxiliary files: -*.fdb_latexmk -*.synctex -*.synctex.gz -*.synctex.gz(busy) -*.pdfsync - -## Auxiliary and intermediate files from other packages: - -# algorithms -*.alg -*.loa - -# achemso -acs-*.bib - -# amsthm -*.thm - -# beamer -*.nav -*.snm -*.vrb - -#(e)ledmac/(e)ledpar -*.end -*.[1-9] -*.[1-9][0-9] -*.[1-9][0-9][0-9] -*.[1-9]R -*.[1-9][0-9]R -*.[1-9][0-9][0-9]R -*.eledsec[1-9] -*.eledsec[1-9]R -*.eledsec[1-9][0-9] -*.eledsec[1-9][0-9]R -*.eledsec[1-9][0-9][0-9] -*.eledsec[1-9][0-9][0-9]R - -# glossaries -*.acn -*.acr -*.glg -*.glo -*.gls - -# gnuplottex -*-gnuplottex-* - -# hyperref -*.brf - -# knitr -*-concordance.tex -*.tikz -*-tikzDictionary - -# listings -*.lol - -# makeidx -*.idx -*.ilg -*.ind -*.ist - -# minitoc -*.maf -*.mtc -*.mtc0 - -# minted -_minted* -*.pyg - -# morewrites -*.mw - -# nomencl -*.nlo - -# sagetex -*.sagetex.sage -*.sagetex.py -*.sagetex.scmd - -# sympy -*.sout -*.sympy -sympy-plots-for-*.tex/ - -# todonotes -*.tdo - -# xindy -*.xdy - -# WinEdt -*.bak -*.sav - -pldi2015 student research/auto -*.pptx -tests - -coverage/ -component-specs - -*.json -*.sexp .merlin *.install diff --git a/src/benchmark.py b/bin/benchmark.py similarity index 100% rename from src/benchmark.py rename to bin/benchmark.py diff --git a/src/l2-cli/dune b/bin/dune similarity index 90% rename from src/l2-cli/dune rename to bin/dune index e9be1d8..ecefe04 100644 --- a/src/l2-cli/dune +++ b/bin/dune @@ -1,6 +1,7 @@ (executable (name l2_cli) (libraries l2 core core_extended yojson hashcons) + (modules l2_cli) (preprocess (pps ppx_jane))) (install diff --git a/src/l2-lib/example_gen.py b/bin/example_gen.py similarity index 100% rename from src/l2-lib/example_gen.py rename to bin/example_gen.py diff --git a/src/scripts/generate_functions.ml b/bin/generate_functions.ml similarity index 100% rename from src/scripts/generate_functions.ml rename to bin/generate_functions.ml diff --git a/src/scripts/generate_values.ml b/bin/generate_values.ml similarity index 100% rename from src/scripts/generate_values.ml rename to bin/generate_values.ml diff --git a/src/l2-cli/l2_cli.ml b/bin/l2_cli.ml similarity index 100% rename from src/l2-cli/l2_cli.ml rename to bin/l2_cli.ml diff --git a/src/l2-lib/ast.ml b/lib/ast.ml similarity index 100% rename from src/l2-lib/ast.ml rename to lib/ast.ml diff --git a/src/l2-lib/automaton.ml b/lib/automaton.ml similarity index 100% rename from src/l2-lib/automaton.ml rename to lib/automaton.ml diff --git a/src/l2-lib/collections.ml b/lib/collections.ml similarity index 100% rename from src/l2-lib/collections.ml rename to lib/collections.ml diff --git a/src/l2-lib/combinat.ml b/lib/combinat.ml similarity index 100% rename from src/l2-lib/combinat.ml rename to lib/combinat.ml diff --git a/src/l2-lib/combinat.mli b/lib/combinat.mli similarity index 100% rename from src/l2-lib/combinat.mli rename to lib/combinat.mli diff --git a/src/l2-lib/config.ml b/lib/config.ml similarity index 100% rename from src/l2-lib/config.ml rename to lib/config.ml diff --git a/src/l2-lib/config.mli b/lib/config.mli similarity index 100% rename from src/l2-lib/config.mli rename to lib/config.mli diff --git a/src/l2-lib/dune b/lib/dune similarity index 100% rename from src/l2-lib/dune rename to lib/dune diff --git a/src/l2-lib/eval.ml b/lib/eval.ml similarity index 100% rename from src/l2-lib/eval.ml rename to lib/eval.ml diff --git a/src/l2-lib/eval.mli b/lib/eval.mli similarity index 100% rename from src/l2-lib/eval.mli rename to lib/eval.mli diff --git a/src/l2-lib/example.ml b/lib/example.ml similarity index 100% rename from src/l2-lib/example.ml rename to lib/example.ml diff --git a/src/l2-lib/example.mli b/lib/example.mli similarity index 100% rename from src/l2-lib/example.mli rename to lib/example.mli diff --git a/src/l2-lib/example_deduction.ml b/lib/example_deduction.ml similarity index 100% rename from src/l2-lib/example_deduction.ml rename to lib/example_deduction.ml diff --git a/src/l2-lib/example_deduction.mli b/lib/example_deduction.mli similarity index 100% rename from src/l2-lib/example_deduction.mli rename to lib/example_deduction.mli diff --git a/src/l2-lib/expr.ml b/lib/expr.ml similarity index 100% rename from src/l2-lib/expr.ml rename to lib/expr.ml diff --git a/src/l2-lib/exprValue.ml b/lib/exprValue.ml similarity index 100% rename from src/l2-lib/exprValue.ml rename to lib/exprValue.ml diff --git a/src/l2-lib/exprValue.mli b/lib/exprValue.mli similarity index 100% rename from src/l2-lib/exprValue.mli rename to lib/exprValue.mli diff --git a/src/l2-lib/fast_example_deduction.ml b/lib/fast_example_deduction.ml similarity index 100% rename from src/l2-lib/fast_example_deduction.ml rename to lib/fast_example_deduction.ml diff --git a/src/l2-lib/generate_functions.ml b/lib/generate_functions.ml similarity index 100% rename from src/l2-lib/generate_functions.ml rename to lib/generate_functions.ml diff --git a/src/l2-lib/higher_order_deduction.ml b/lib/higher_order_deduction.ml similarity index 100% rename from src/l2-lib/higher_order_deduction.ml rename to lib/higher_order_deduction.ml diff --git a/src/l2-lib/higher_order_deduction.mli b/lib/higher_order_deduction.mli similarity index 100% rename from src/l2-lib/higher_order_deduction.mli rename to lib/higher_order_deduction.mli diff --git a/src/l2-lib/hypothesis.ml b/lib/hypothesis.ml similarity index 100% rename from src/l2-lib/hypothesis.ml rename to lib/hypothesis.ml diff --git a/src/l2-lib/hypothesis.mli b/lib/hypothesis.mli similarity index 100% rename from src/l2-lib/hypothesis.mli rename to lib/hypothesis.mli diff --git a/src/l2-lib/infer.ml b/lib/infer.ml similarity index 100% rename from src/l2-lib/infer.ml rename to lib/infer.ml diff --git a/src/l2-lib/infer.mli b/lib/infer.mli similarity index 100% rename from src/l2-lib/infer.mli rename to lib/infer.mli diff --git a/src/l2-lib/input_deduction.ml b/lib/input_deduction.ml similarity index 100% rename from src/l2-lib/input_deduction.ml rename to lib/input_deduction.ml diff --git a/src/l2-lib/input_deduction.mli b/lib/input_deduction.mli similarity index 100% rename from src/l2-lib/input_deduction.mli rename to lib/input_deduction.mli diff --git a/src/l2-lib/lexer_ml.mll b/lib/lexer_ml.mll similarity index 100% rename from src/l2-lib/lexer_ml.mll rename to lib/lexer_ml.mll diff --git a/src/l2-lib/lexer_sexp.mll b/lib/lexer_sexp.mll similarity index 100% rename from src/l2-lib/lexer_sexp.mll rename to lib/lexer_sexp.mll diff --git a/src/l2-lib/library.ml b/lib/library.ml similarity index 100% rename from src/l2-lib/library.ml rename to lib/library.ml diff --git a/src/l2-lib/library.mli b/lib/library.mli similarity index 100% rename from src/l2-lib/library.mli rename to lib/library.mli diff --git a/src/l2-lib/parser_ml.mly b/lib/parser_ml.mly similarity index 100% rename from src/l2-lib/parser_ml.mly rename to lib/parser_ml.mly diff --git a/src/l2-lib/parser_sexp.mly b/lib/parser_sexp.mly similarity index 100% rename from src/l2-lib/parser_sexp.mly rename to lib/parser_sexp.mly diff --git a/src/l2-lib/random_deduction.ml b/lib/random_deduction.ml similarity index 100% rename from src/l2-lib/random_deduction.ml rename to lib/random_deduction.ml diff --git a/src/l2-lib/random_deduction.mli b/lib/random_deduction.mli similarity index 100% rename from src/l2-lib/random_deduction.mli rename to lib/random_deduction.mli diff --git a/src/l2-lib/recursive_spec_deduction.ml b/lib/recursive_spec_deduction.ml similarity index 100% rename from src/l2-lib/recursive_spec_deduction.ml rename to lib/recursive_spec_deduction.ml diff --git a/src/l2-lib/rewrite.ml b/lib/rewrite.ml similarity index 100% rename from src/l2-lib/rewrite.ml rename to lib/rewrite.ml diff --git a/src/l2-lib/sstream.ml b/lib/sstream.ml similarity index 100% rename from src/l2-lib/sstream.ml rename to lib/sstream.ml diff --git a/src/l2-lib/status.ml b/lib/status.ml similarity index 100% rename from src/l2-lib/status.ml rename to lib/status.ml diff --git a/src/l2-lib/status.mli b/lib/status.mli similarity index 100% rename from src/l2-lib/status.mli rename to lib/status.mli diff --git a/src/l2-lib/structure.ml b/lib/structure.ml similarity index 100% rename from src/l2-lib/structure.ml rename to lib/structure.ml diff --git a/src/l2-lib/symbolic_execution.ml b/lib/symbolic_execution.ml similarity index 100% rename from src/l2-lib/symbolic_execution.ml rename to lib/symbolic_execution.ml diff --git a/src/l2-lib/synthesis_common.ml b/lib/synthesis_common.ml similarity index 100% rename from src/l2-lib/synthesis_common.ml rename to lib/synthesis_common.ml diff --git a/src/l2-lib/synthesis_common.mli b/lib/synthesis_common.mli similarity index 100% rename from src/l2-lib/synthesis_common.mli rename to lib/synthesis_common.mli diff --git a/src/l2-lib/testcase.ml b/lib/testcase.ml similarity index 100% rename from src/l2-lib/testcase.ml rename to lib/testcase.ml diff --git a/src/l2-lib/testcase.mli b/lib/testcase.mli similarity index 100% rename from src/l2-lib/testcase.mli rename to lib/testcase.mli diff --git a/src/l2-lib/unify.ml b/lib/unify.ml similarity index 100% rename from src/l2-lib/unify.ml rename to lib/unify.ml diff --git a/src/l2-lib/util.ml b/lib/util.ml similarity index 100% rename from src/l2-lib/util.ml rename to lib/util.ml diff --git a/src/l2-lib/v1_engine.ml b/lib/v1_engine.ml similarity index 100% rename from src/l2-lib/v1_engine.ml rename to lib/v1_engine.ml diff --git a/src/l2-lib/v1_engine.mli b/lib/v1_engine.mli similarity index 100% rename from src/l2-lib/v1_engine.mli rename to lib/v1_engine.mli diff --git a/src/l2-lib/v1_solver_engine.ml b/lib/v1_solver_engine.ml similarity index 100% rename from src/l2-lib/v1_solver_engine.ml rename to lib/v1_solver_engine.ml diff --git a/src/l2-lib/v1_solver_engine.mli b/lib/v1_solver_engine.mli similarity index 100% rename from src/l2-lib/v1_solver_engine.mli rename to lib/v1_solver_engine.mli diff --git a/src/l2-lib/v2_engine.ml b/lib/v2_engine.ml similarity index 100% rename from src/l2-lib/v2_engine.ml rename to lib/v2_engine.ml diff --git a/src/l2-lib/v2_engine.mli b/lib/v2_engine.mli similarity index 100% rename from src/l2-lib/v2_engine.mli rename to lib/v2_engine.mli diff --git a/src/l2-lib/value.ml b/lib/value.ml similarity index 100% rename from src/l2-lib/value.ml rename to lib/value.ml diff --git a/src/l2-lib/value.mli b/lib/value.mli similarity index 100% rename from src/l2-lib/value.mli rename to lib/value.mli diff --git a/src/l2-lib/verify.ml b/lib/verify.ml similarity index 100% rename from src/l2-lib/verify.ml rename to lib/verify.ml diff --git a/src/paramils/crossvalidate.py b/paramils/crossvalidate.py similarity index 100% rename from src/paramils/crossvalidate.py rename to paramils/crossvalidate.py diff --git a/src/paramils/instances.txt b/paramils/instances.txt similarity index 100% rename from src/paramils/instances.txt rename to paramils/instances.txt diff --git a/src/paramils/l2_wrapper.py b/paramils/l2_wrapper.py similarity index 100% rename from src/paramils/l2_wrapper.py rename to paramils/l2_wrapper.py diff --git a/src/paramils/params.txt b/paramils/params.txt similarity index 100% rename from src/paramils/params.txt rename to paramils/params.txt diff --git a/src/paramils/scenario.txt b/paramils/scenario.txt similarity index 100% rename from src/paramils/scenario.txt rename to paramils/scenario.txt diff --git a/src/scripts/.merlin b/src/scripts/.merlin deleted file mode 100644 index dae484a..0000000 --- a/src/scripts/.merlin +++ /dev/null @@ -1,17 +0,0 @@ -REC - -S . - -PKG core -PKG core_extended -PKG hashcons -PKG yojson -PKG ounit -PKG ppx_sexp_conv -PKG ppx_variants_conv -PKG ppx_bin_prot -PKG ppx_compare -PKG ppx_sexp_value -PKG ppx_let -PKG utop -PKG l2 \ No newline at end of file diff --git a/src/l2-tests/collections_tests.ml b/test/collections_tests.ml similarity index 100% rename from src/l2-tests/collections_tests.ml rename to test/collections_tests.ml diff --git a/src/l2-tests/dune b/test/dune similarity index 62% rename from src/l2-tests/dune rename to test/dune index 0541642..44fd5c6 100644 --- a/src/l2-tests/dune +++ b/test/dune @@ -1,4 +1,4 @@ -(executable +(test (name tests) (libraries l2 oUnit core core_extended yojson hashcons) - (preprocess (pps ppx_jane))) + (preprocess (pps ppx_jane))) \ No newline at end of file diff --git a/src/l2-tests/eval_tests.ml b/test/eval_tests.ml similarity index 100% rename from src/l2-tests/eval_tests.ml rename to test/eval_tests.ml diff --git a/src/l2-tests/hypothesis_tests.ml b/test/hypothesis_tests.ml similarity index 82% rename from src/l2-tests/hypothesis_tests.ml rename to test/hypothesis_tests.ml index b5554c5..0833809 100644 --- a/src/l2-tests/hypothesis_tests.ml +++ b/test/hypothesis_tests.ml @@ -8,7 +8,7 @@ let static_distance_tests = "static-distance" >::: [ "create" >::: [ test_case (fun ctxt -> - let sd = StaticDistance.create 1 2 in + let sd = StaticDistance.create ~distance:1 ~index:2 in assert_equal ~ctxt ~printer:Int.to_string (StaticDistance.distance sd) 1 ; assert_equal ~ctxt ~printer:Int.to_string @@ -17,21 +17,24 @@ let static_distance_tests = assert_raises ~msg:"Bad arguments should raise Invalid_argument." (Invalid_argument "Argument out of range.") (fun () -> - StaticDistance.create (-1) 1 ) ; + StaticDistance.create ~distance:(-1) ~index:1 ) ; assert_raises ~msg:"Bad arguments should raise Invalid_argument." (Invalid_argument "Argument out of range.") (fun () -> - StaticDistance.create 1 (-1) ) ) ] + StaticDistance.create ~distance:1 ~index:(-1) ) ) ] ; mk_equality_tests "args" StaticDistance.args ~printer:(fun a -> Sexp.to_string (List.sexp_of_t StaticDistance.sexp_of_t a) ) [ (0, []) - ; (1, [StaticDistance.create 1 1]) - ; (2, [StaticDistance.create 1 1; StaticDistance.create 1 2]) ] + ; (1, [StaticDistance.create ~distance:1 ~index:1]) + ; ( 2 + , [ StaticDistance.create ~distance:1 ~index:1 + ; StaticDistance.create ~distance:1 ~index:2 ] ) ] ; "increment_scope" >::: [ test_case (fun ctxt -> let sd = - StaticDistance.create 1 2 |> StaticDistance.increment_scope + StaticDistance.create ~distance:1 ~index:2 + |> StaticDistance.increment_scope in assert_equal ~ctxt ~printer:Int.to_string (StaticDistance.distance sd) 2 ; @@ -59,7 +62,7 @@ let cost_model_tests = let spec_tests = let module Sp = Specification in "specifications" - >::: [ test_case (fun ctxt -> + >::: [ test_case (fun _ -> let module FE = FunctionExamples in let s1 = FE.of_input_output_list_exn [([`Num 0], `Num 1)] |> FE.to_spec @@ -68,7 +71,7 @@ let spec_tests = FE.of_input_output_list_exn [([`Num 0], `Num 2)] |> FE.to_spec in assert_bool "specs are not equal" (Sp.compare s1 s2 <> 0) ) - ; test_case (fun ctxt -> + ; test_case (fun _ -> let module FE = FunctionExamples in let s1 = FE.of_input_output_list_exn [([`Num 0], `Num 1)] |> FE.to_spec diff --git a/src/l2-tests/sexp_parser_tests.ml b/test/sexp_parser_tests.ml similarity index 100% rename from src/l2-tests/sexp_parser_tests.ml rename to test/sexp_parser_tests.ml diff --git a/src/l2-tests/tests.ml b/test/tests.ml similarity index 97% rename from src/l2-tests/tests.ml rename to test/tests.ml index 98e9236..e8b83a8 100644 --- a/src/l2-tests/tests.ml +++ b/test/tests.ml @@ -2,16 +2,14 @@ open Core open OUnit2 open L2 open Tests_common -open Ast open Collections -open Infer let identity (x : 'a) : 'a = x let cmp_partition a b = - let sort_partition p = List.sort ~cmp:Int.compare p in + let sort_partition p = List.sort ~compare:Int.compare p in let sort_partition_list l = - List.map ~f:sort_partition l |> List.sort ~cmp:(List.compare Int.compare) + List.map ~f:sort_partition l |> List.sort ~compare:(List.compare Int.compare) in sort_partition_list a = sort_partition_list b diff --git a/src/l2-tests/tests_common.ml b/test/tests_common.ml similarity index 93% rename from src/l2-tests/tests_common.ml rename to test/tests_common.ml index 96c6943..1937876 100644 --- a/src/l2-tests/tests_common.ml +++ b/test/tests_common.ml @@ -24,7 +24,8 @@ let assert_equivalent ~sexp expected real = List.fold l ~init:(Map.empty (module Sexp)) ~f:(fun m x -> - Map.change m (sexp x) (function Some c -> Some (c + 1) | None -> Some 1) ) + Map.change m (sexp x) ~f:(function Some c -> Some (c + 1) | None -> Some 1) + ) in let expected_m = to_count_map expected in let real_m = to_count_map real in diff --git a/src/l2-tests/type_tests.ml b/test/type_tests.ml similarity index 98% rename from src/l2-tests/type_tests.ml rename to test/type_tests.ml index 14848d4..ff4111f 100644 --- a/src/l2-tests/type_tests.ml +++ b/test/type_tests.ml @@ -81,7 +81,7 @@ let infer_typeof_tests = ~printer:(fun t -> Sexp.to_string (Type.sexp_of_t t)) ~cmp:Type.equal "infer-typeof-tests" (fun input -> - let t, u = Type.of_expr input in + let t, _ = Type.of_expr input in t ) cases diff --git a/src/l2-tests/unify_tests.ml b/test/unify_tests.ml similarity index 100% rename from src/l2-tests/unify_tests.ml rename to test/unify_tests.ml diff --git a/src/l2-tests/v2_engine_tests.ml b/test/v2_engine_tests.ml similarity index 99% rename from src/l2-tests/v2_engine_tests.ml rename to test/v2_engine_tests.ml index 956feb1..4259bd2 100644 --- a/src/l2-tests/v2_engine_tests.ml +++ b/test/v2_engine_tests.ml @@ -1,10 +1,7 @@ open Core open OUnit2 open L2 -open Tests_common open Synthesis_common -open Ast -open Infer open Hypothesis open V2_engine module Sym = L2_Generalizer.Symbols