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

diff --git a/gesamt/codeb_intelli_10.call b/gesamt/codeb_intelli_10.call
new file mode 100644
index 0000000..39c3e6d
--- /dev/null
+++ b/gesamt/codeb_intelli_10.call
@@ -0,0 +1,3 @@
+extern long long m(long long this, long long a);
+
+RET(m(60, 0) == 10 && m(0, 10) == 200 && m(35, 18) == 8 && m(-10, 0) == 840);
\ No newline at end of file