X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_skinner33_01.call;fp=gesamt%2Fcodea_skinner33_01.call;h=af3f29100f30dc493c7402e728c554cc7fd99229;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7 diff --git a/gesamt/codea_skinner33_01.call b/gesamt/codea_skinner33_01.call new file mode 100644 index 0000000..af3f291 --- /dev/null +++ b/gesamt/codea_skinner33_01.call @@ -0,0 +1,8 @@ +long w(long); +long x(long); +long y(long); +long z(long); +long aa(long); +long ab(long); + +RET(w(0xDEAD)==1 && x(1337)==0 && y(42)==0 && z(3141) == 1 && aa(0xabc) == 1 && ab(0xdef) == 0);