search

albertqjiang / Portal-to-ISAbelle

https://albertqjiang.github.io/Portal-to-ISAbelle/
BSD 3-Clause "New" or "Revised" License
50 stars 18 forks source link

Add hardcoded 30seconds timeout for Sledgehammer. #28

Closed mikimowski closed 1 year ago

mikimowski commented 1 year ago

Add hardcoded 30seconds timeout for Sledgehammer.