codeb: testfaelle aus codea

[testub10.git] / codeb / codea_mrstrcmp_12.call

diff --git a/codeb/codea_mrstrcmp_12.call b/codeb/codea_mrstrcmp_12.call
new file mode 100644 (file)
index 0000000..ff29661
--- /dev/null
+++ b/codeb/codea_mrstrcmp_12.call
@@ -0,0 +1,5 @@
+long f(long, long, long);
+
+RET(f(0, 10, 20) == (10 - (10 - 20) - 20) &&
+    f(0, 40, 20) == (40 - (10 - 20) - 20) &&
+    f(0,  0, 30) == ( 0 - (10 - 30) - 20));