st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-03-12 02:57:09 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

simplest_model_with_mods: advanced analyzer with more argument properties

Browse source
This commit is contained in:
ProgramSnail 2026-03-01 15:56:43 +00:00
parent 5b49f139cc
commit d590f28f9b
3 changed files with 479 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
simplest_model_with_mods/dune
View file

@ -13,6 +13,16 @@
(preprocess
(pps GT.ppx GT.ppx_all ppx_expect ppx_inline_test)))
(library
(name analyzer_mods_cap)
(modules analyzer_cap)
(flags (-rectypes))
(libraries OCanren OCanren.tester)
(inline_tests)
(wrapped false)
(preprocess
(pps GT.ppx GT.ppx_all ppx_expect ppx_inline_test)))
(library
(name tests_modt)
(modules tests)