X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=testub10.git;a=blobdiff_plain;f=gesamt%2Fcodea_snafu_04.call;fp=gesamt%2Fcodea_snafu_04.call;h=7a9fd9aac14cf75f0b19a2834ce9c0f4d8d19ecf;hp=0000000000000000000000000000000000000000;hb=029401d51612c5e69d7ac8603e1b69cd7ed6ef96;hpb=bf19094ac2573112418701ba4c6abf5779e3a9f7

diff --git a/gesamt/codea_snafu_04.call b/gesamt/codea_snafu_04.call
new file mode 100644
index 0000000..7a9fd9a
--- /dev/null
+++ b/gesamt/codea_snafu_04.call
@@ -0,0 +1,7 @@
+long pvs1(long, long, long);
+long pvs2(long, long, long);
+long pvs3(long, long, long);
+long pvs4(long, long, long);
+
+
+RET((pvs1(2,3,5) == -5) && (pvs2(2,3,5) == -13) && (pvs3(2,3,5) == 1) && (pvs4(2,3,5) == -4));