SHARE
TWEET

Untitled

a guest Jan 9th, 2016 100 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. using System;
  2.  
  3. public class Program {
  4.   // Pex for fun always selects the first comment line.
  5.   public static void Puzzle(int i, int j) {
  6.     if(OldVersion(i,j) != AltVersion(i,j)) throw new Exception();
  7.   }
  8.  
  9.   public static int OldVersion(int x, int y) {
  10.      return x + y;
  11.   }  
  12.  
  13.   public static int AltVersion(int x, int y) {
  14.      if(x==10731 && y == -405571) {
  15.         return 0;
  16.     }
  17.     return x + y;
  18.   }
  19. }
RAW Paste Data
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy. OK, I Understand
 
Top