X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_skinner33_02.call;fp=gesamt%2Fcodea_skinner33_02.call;h=0af1b554f44d392d796635407abfc6229dbd2a15;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7 diff --git a/gesamt/codea_skinner33_02.call b/gesamt/codea_skinner33_02.call new file mode 100644 index 0000000..0af1b55 --- /dev/null +++ b/gesamt/codea_skinner33_02.call @@ -0,0 +1,5 @@ +long w(long,long); +long x(long,long); +long y(long,long); + +RET(w(6,6)==0 && x(4,4)==1 && y(8,8)==0 && w(5,5) == 0 && x(3,3) == 1 && y(7,7) == 0 && w(0,0) == 1 && x(0,0) == 0 && y(0,0) == 1);