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: synthesiszer fix, tests fix

Browse source
This commit is contained in:
ProgramSnail 2026-05-20 16:13:53 +00:00
parent ae01a435ff
commit 3111194714
2 changed files with 16 additions and 16 deletions
Download patch file Download diff file Expand all files Collapse all files

2
model_with_structures/synthesizer.ml
View file

@ -1247,7 +1247,7 @@ struct
(Std.pair st 0) tps (Std.pair st 0) tps
(Std.pair state_with_args _arg_id) & (Std.pair state_with_args _arg_id) &
stmt_evalo state_with_args stmt st_after_stmt & stmt_evalo state_with_args stmt st_after_stmt &
state_with_args == StEnv (mem_after_stmt, _types_after_stmt, vals_after_stmt) & st_after_stmt == StEnv (mem_after_stmt, _types_after_stmt, vals_after_stmt) &
list_foldlo (f_tags_check_foldero mem_after_stmt vals_after_stmt) 0 tps _x' list_foldlo (f_tags_check_foldero mem_after_stmt vals_after_stmt) 0 tps _x'
} | } |
{ fresh _tp in { fresh _tp in

30
model_with_structures/tests.ml
View file

File diff suppressed because one or more lines are too long