uclid-org/uclid

replace genericProofCommand

polgreen opened this issue · 0 comments

polgreen commented

creating issue as reminder. cc @FedericoAureliano @DemetrisChr