gesamt LVA-Testfaelle
[testub10.git] / gesamt / codea_abgabe_ad.call
diff --git a/gesamt/codea_abgabe_ad.call b/gesamt/codea_abgabe_ad.call
new file mode 100644 (file)
index 0000000..e341dfc
--- /dev/null
@@ -0,0 +1,2 @@
+extern long m(long,long);
+RET(m(0,12)==-5 && m(9,13)==-5);