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