Fixed ignored `--mcsat-partial-restarts` option #544

Job	Run time
windows-latest\|release\|	21m 34s
windows-latest\|debug\|--enable-thread-safety	24m 15s
windows-latest\|release\|--enable-thread-safety	21m 26s
windows-latest\|release\|--enable-thread-safety --enable-mcsat	31m 44s
windows-latest\|debug\|	19m 37s
windows-latest\|debug\|--enable-thread-safety --enable-mcsat	25m 52s
	2h 24m 28s

Navigation Menu