Esempio n. 1
0
 private void SetTimeout(int timeout)
 {
     TheoremProver.SetTimeout(timeout * 1000);
 }
Esempio n. 2
0
 private void SetTimeout(uint timeout)
 {
     TheoremProver.SetTimeout(Util.SafeMult(timeout, 1000));
 }