st/pass_strategy_synthesis
1
0
Fork 0
mirror of https://github.com/ProgramSnail/pass_strategy_synthesis.git synced 2026-06-10 19:28:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

struct: analyzer_rw init (from analyzer)

Browse source
This commit is contained in:
ProgramSnail 2026-05-21 10:24:51 +00:00
parent 3111194714
commit d06f6d53bc
2 changed files with 1188 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1178
model_with_structures/analyzer_rw.ml Normal file
View file

File diff suppressed because it is too large Load diff

10
model_with_structures/dune
View file

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