Add timeout to configuration

Tritlo / PropR

Genetic program repair using GHC

MIT License

30 stars 2 forks source link

Closed Tritlo closed 3 years ago

Tritlo commented 3 years ago

We don't have any way to set qcTime and the repair related timeouts atm.