Propogate backend options into goto-synthesizer#2643

Merged

adpaco-aws merged 4 commits intomodel-checking:mainfrom qinheping:synthesizer-args

Oct 30, 2023

+12-1

Commits on Oct 9, 2023

Propogate cbmc options into goto-synthesizer
qinheping
committed

Commits on Oct 11, 2023

Merge branch 'main' into synthesizer-args
qinheping
authored

Commits on Oct 18, 2023

Merge branch 'main' into synthesizer-args
qinheping
authored

Commits on Oct 30, 2023

Merge branch 'main' into synthesizer-args
adpaco-aws
authored