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