run synthesis without asking deletion
run synthesis without asking deletion

cmusatyalab/elijah-provisioning,cmusatyalab/elijah-provisioning,cmusatyalab/elijah-provisioning,OpenEdgeComputing/elijah-provisioning,OpenEdgeComputing/elijah-provisioning,cmusatyalab/elijah-provisioning,OpenEdgeComputing/elijah-provisioning,cmusatyalab/elijah-provisioning,cmusatyalab/elijah-provisioning,OpenEdgeComputing/elijah-provisioning,OpenEdgeComputing/elijah-provisioning,OpenEdgeComputing/elijah-provisioning