Skip to content

Add simple time limiting to prop_conv and propt#1004

Merged
smowton merged 1 commit intodiffblue:test-gen-supportfrom
smowton:smowton/feature/time_limit_minisat
Jun 15, 2017

Commits

Commits on Jun 14, 2017