SYNTHESIZER: Migrate loop-contracts synthesizer from goto-instrument into goto-synthesizer#7429

Merged

qinheping merged 1 commit intodiffblue:developfrom

qinheping:goto-synthesizer-migration

Dec 13, 2022

Commits on Dec 13, 2022

Migrate loop-contracts synthesizer from goto-instrument to goto-synthesizer
qinheping
committed