C# (CSharp) Microsoft.Boogie ProverInterface.SetRlimit Examples

Example #1

File: Check.cs Project: relative-robustness/artifact

 public void SetRlimit()
 {
     if (0 < rlimit)
     {
         TheoremProver.SetRlimit(rlimit);
     }
     else
     {
         TheoremProver.SetRlimit(0);
     }
 }

Example #2

File: Check.cs Project: emptylambda/RobustIVL

 private void SetRlimit(int rlimit)
 {
     TheoremProver.SetRlimit(rlimit * 1000);
 }

Example #3

 private void SetRlimit(uint rlimit)
 {
     TheoremProver.SetRlimit(Util.SafeMult(rlimit, 1000));
 }