コード例 #1
0
ファイル: Check.cs プロジェクト: relative-robustness/artifact 
 public void SetRlimit()
 {
     if (0 < rlimit)
     {
         TheoremProver.SetRlimit(rlimit);
     }
     else
     {
         TheoremProver.SetRlimit(0);
     }
 }
コード例 #2
0
ファイル: Check.cs プロジェクト: emptylambda/RobustIVL 
 private void SetRlimit(int rlimit)
 {
     TheoremProver.SetRlimit(rlimit * 1000);
 }
コード例 #3
0
 private void SetRlimit(uint rlimit)
 {
     TheoremProver.SetRlimit(Util.SafeMult(rlimit, 1000));
 }