From 4f0525be75356861de3a21b86a4c44a4b7297397 Mon Sep 17 00:00:00 2001 From: Martin Perner Date: Wed, 19 May 2010 22:29:55 +0200 Subject: [PATCH] codea LVA-Testfaelle --- codeb/codea_abgabe_a.0 | 3 +++ codeb/codea_abgabe_a.call | 2 ++ codeb/codea_abgabe_a.instr | 1 + codeb/codea_abgabe_aa.0 | 3 +++ codeb/codea_abgabe_aa.call | 2 ++ codeb/codea_abgabe_aa.instr | 1 + codeb/codea_abgabe_ab.0 | 3 +++ codeb/codea_abgabe_ab.call | 2 ++ codeb/codea_abgabe_ab.instr | 1 + codeb/codea_abgabe_ac.0 | 3 +++ codeb/codea_abgabe_ac.call | 2 ++ codeb/codea_abgabe_ac.instr | 1 + codeb/codea_abgabe_ad.0 | 3 +++ codeb/codea_abgabe_ad.call | 2 ++ codeb/codea_abgabe_ad.instr | 1 + codeb/codea_abgabe_ae.0 | 3 +++ codeb/codea_abgabe_ae.call | 2 ++ codeb/codea_abgabe_ae.instr | 1 + codeb/codea_abgabe_af.0 | 3 +++ codeb/codea_abgabe_af.call | 2 ++ codeb/codea_abgabe_af.instr | 1 + codeb/codea_abgabe_ag.0 | 3 +++ codeb/codea_abgabe_ag.call | 2 ++ codeb/codea_abgabe_ag.instr | 1 + codeb/codea_abgabe_ah.0 | 3 +++ codeb/codea_abgabe_ah.call | 2 ++ codeb/codea_abgabe_ah.instr | 1 + codeb/codea_abgabe_ai.0 | 3 +++ codeb/codea_abgabe_ai.call | 2 ++ codeb/codea_abgabe_ai.instr | 1 + codeb/codea_abgabe_aj.0 | 3 +++ codeb/codea_abgabe_aj.call | 2 ++ codeb/codea_abgabe_aj.instr | 1 + codeb/codea_abgabe_ak.0 | 3 +++ codeb/codea_abgabe_ak.call | 2 ++ codeb/codea_abgabe_ak.instr | 1 + codeb/codea_abgabe_al.0 | 6 ++++++ codeb/codea_abgabe_al.call | 3 +++ codeb/codea_abgabe_al.instr | 1 + codeb/codea_abgabe_am.0 | 6 ++++++ codeb/codea_abgabe_am.call | 4 ++++ codeb/codea_abgabe_am.instr | 1 + codeb/codea_abgabe_an.0 | 3 +++ codeb/codea_abgabe_an.call | 2 ++ codeb/codea_abgabe_an.instr | 1 + codeb/codea_abgabe_ao.0 | 3 +++ codeb/codea_abgabe_ao.call | 2 ++ codeb/codea_abgabe_ao.instr | 1 + codeb/codea_abgabe_ap.0 | 3 +++ codeb/codea_abgabe_ap.call | 2 ++ codeb/codea_abgabe_ap.instr | 1 + codeb/codea_abgabe_aq.0 | 5 +++++ codeb/codea_abgabe_aq.call | 3 +++ codeb/codea_abgabe_aq.instr | 1 + codeb/codea_abgabe_ar.0 | 7 +++++++ codeb/codea_abgabe_ar.call | 3 +++ codeb/codea_abgabe_ar.instr | 1 + codeb/codea_abgabe_as.0 | 5 +++++ codeb/codea_abgabe_as.call | 3 +++ codeb/codea_abgabe_as.instr | 1 + codeb/codea_abgabe_x0.1 | 1 + codeb/codea_abgabe_x1.1 | 1 + codeb/codea_abgabe_x2.1 | 1 + codeb/codea_abgabe_x3.1 | 1 + codeb/codea_abgabe_y0.2 | 2 ++ codeb/codea_abgabe_y1.2 | 3 +++ codeb/codea_abgabe_y2.2 | 3 +++ codeb/codea_abgabe_y3.2 | 4 ++++ codeb/codea_abgabe_y4.2 | 3 +++ codeb/codea_abgabe_y5.2 | 3 +++ codeb/codea_abgabe_y6.2 | 3 +++ codeb/codea_abgabe_y7.2 | 3 +++ codeb/codea_abgabe_y8.2 | 3 +++ codeb/codea_abgabe_y9.2 | 3 +++ codeb/codea_abgabe_z0.3 | 3 +++ codeb/codea_abgabe_za.3 | 2 ++ codeb/codea_abgabe_zb.3 | 5 +++++ codeb/codea_abgabe_zc.3 | 10 ++++++++++ codeb/codea_abgabe_zd.3 | 4 ++++ codeb/codea_abgabe_ze.3 | 7 +++++++ codeb/codea_abgabe_zf.3 | 7 +++++++ codeb/codea_abgabe_zg.3 | 4 ++++ codeb/codea_abgabe_zh.3 | 7 +++++++ codeb/codea_abgabe_zi.3 | 3 +++ codeb/codea_abgabe_zj.3 | 3 +++ 85 files changed, 229 insertions(+) create mode 100644 codeb/codea_abgabe_a.0 create mode 100644 codeb/codea_abgabe_a.call create mode 100644 codeb/codea_abgabe_a.instr create mode 100644 codeb/codea_abgabe_aa.0 create mode 100644 codeb/codea_abgabe_aa.call create mode 100644 codeb/codea_abgabe_aa.instr create mode 100644 codeb/codea_abgabe_ab.0 create mode 100644 codeb/codea_abgabe_ab.call create mode 100644 codeb/codea_abgabe_ab.instr create mode 100644 codeb/codea_abgabe_ac.0 create mode 100644 codeb/codea_abgabe_ac.call create mode 100644 codeb/codea_abgabe_ac.instr create mode 100644 codeb/codea_abgabe_ad.0 create mode 100644 codeb/codea_abgabe_ad.call create mode 100644 codeb/codea_abgabe_ad.instr create mode 100644 codeb/codea_abgabe_ae.0 create mode 100644 codeb/codea_abgabe_ae.call create mode 100644 codeb/codea_abgabe_ae.instr create mode 100644 codeb/codea_abgabe_af.0 create mode 100644 codeb/codea_abgabe_af.call create mode 100644 codeb/codea_abgabe_af.instr create mode 100644 codeb/codea_abgabe_ag.0 create mode 100644 codeb/codea_abgabe_ag.call create mode 100644 codeb/codea_abgabe_ag.instr create mode 100644 codeb/codea_abgabe_ah.0 create mode 100644 codeb/codea_abgabe_ah.call create mode 100644 codeb/codea_abgabe_ah.instr create mode 100644 codeb/codea_abgabe_ai.0 create mode 100644 codeb/codea_abgabe_ai.call create mode 100644 codeb/codea_abgabe_ai.instr create mode 100644 codeb/codea_abgabe_aj.0 create mode 100644 codeb/codea_abgabe_aj.call create mode 100644 codeb/codea_abgabe_aj.instr create mode 100644 codeb/codea_abgabe_ak.0 create mode 100644 codeb/codea_abgabe_ak.call create mode 100644 codeb/codea_abgabe_ak.instr create mode 100644 codeb/codea_abgabe_al.0 create mode 100644 codeb/codea_abgabe_al.call create mode 100644 codeb/codea_abgabe_al.instr create mode 100644 codeb/codea_abgabe_am.0 create mode 100644 codeb/codea_abgabe_am.call create mode 100644 codeb/codea_abgabe_am.instr create mode 100644 codeb/codea_abgabe_an.0 create mode 100644 codeb/codea_abgabe_an.call create mode 100644 codeb/codea_abgabe_an.instr create mode 100644 codeb/codea_abgabe_ao.0 create mode 100644 codeb/codea_abgabe_ao.call create mode 100644 codeb/codea_abgabe_ao.instr create mode 100644 codeb/codea_abgabe_ap.0 create mode 100644 codeb/codea_abgabe_ap.call create mode 100644 codeb/codea_abgabe_ap.instr create mode 100644 codeb/codea_abgabe_aq.0 create mode 100644 codeb/codea_abgabe_aq.call create mode 100644 codeb/codea_abgabe_aq.instr create mode 100644 codeb/codea_abgabe_ar.0 create mode 100644 codeb/codea_abgabe_ar.call create mode 100644 codeb/codea_abgabe_ar.instr create mode 100644 codeb/codea_abgabe_as.0 create mode 100644 codeb/codea_abgabe_as.call create mode 100644 codeb/codea_abgabe_as.instr create mode 100644 codeb/codea_abgabe_x0.1 create mode 100644 codeb/codea_abgabe_x1.1 create mode 100644 codeb/codea_abgabe_x2.1 create mode 100644 codeb/codea_abgabe_x3.1 create mode 100644 codeb/codea_abgabe_y0.2 create mode 100644 codeb/codea_abgabe_y1.2 create mode 100644 codeb/codea_abgabe_y2.2 create mode 100644 codeb/codea_abgabe_y3.2 create mode 100644 codeb/codea_abgabe_y4.2 create mode 100644 codeb/codea_abgabe_y5.2 create mode 100644 codeb/codea_abgabe_y6.2 create mode 100644 codeb/codea_abgabe_y7.2 create mode 100644 codeb/codea_abgabe_y8.2 create mode 100644 codeb/codea_abgabe_y9.2 create mode 100644 codeb/codea_abgabe_z0.3 create mode 100644 codeb/codea_abgabe_za.3 create mode 100644 codeb/codea_abgabe_zb.3 create mode 100644 codeb/codea_abgabe_zc.3 create mode 100644 codeb/codea_abgabe_zd.3 create mode 100644 codeb/codea_abgabe_ze.3 create mode 100644 codeb/codea_abgabe_zf.3 create mode 100644 codeb/codea_abgabe_zg.3 create mode 100644 codeb/codea_abgabe_zh.3 create mode 100644 codeb/codea_abgabe_zi.3 create mode 100644 codeb/codea_abgabe_zj.3 diff --git a/codeb/codea_abgabe_a.0 b/codeb/codea_abgabe_a.0 new file mode 100644 index 0000000..8c3fc2a --- /dev/null +++ b/codeb/codea_abgabe_a.0 @@ -0,0 +1,3 @@ +method m(x) + return x-this; +end; diff --git a/codeb/codea_abgabe_a.call b/codeb/codea_abgabe_a.call new file mode 100644 index 0000000..dfe2827 --- /dev/null +++ b/codeb/codea_abgabe_a.call @@ -0,0 +1,2 @@ +extern long m(long,long); +RET(m(2,5)==3 && m(7,2)==-5); diff --git a/codeb/codea_abgabe_a.instr b/codeb/codea_abgabe_a.instr new file mode 100644 index 0000000..1e8b314 --- /dev/null +++ b/codeb/codea_abgabe_a.instr @@ -0,0 +1 @@ +6 diff --git a/codeb/codea_abgabe_aa.0 b/codeb/codea_abgabe_aa.0 new file mode 100644 index 0000000..3ef30f4 --- /dev/null +++ b/codeb/codea_abgabe_aa.0 @@ -0,0 +1,3 @@ +method m() + return this; +end; diff --git a/codeb/codea_abgabe_aa.call b/codeb/codea_abgabe_aa.call new file mode 100644 index 0000000..84b8a6d --- /dev/null +++ b/codeb/codea_abgabe_aa.call @@ -0,0 +1,2 @@ +extern long m(long); +RET(m(5)==5 && m(9)==9); diff --git a/codeb/codea_abgabe_aa.instr b/codeb/codea_abgabe_aa.instr new file mode 100644 index 0000000..b8626c4 --- /dev/null +++ b/codeb/codea_abgabe_aa.instr @@ -0,0 +1 @@ +4 diff --git a/codeb/codea_abgabe_ab.0 b/codeb/codea_abgabe_ab.0 new file mode 100644 index 0000000..930c6b4 --- /dev/null +++ b/codeb/codea_abgabe_ab.0 @@ -0,0 +1,3 @@ +method m(x y z) + return z; +end; diff --git a/codeb/codea_abgabe_ab.call b/codeb/codea_abgabe_ab.call new file mode 100644 index 0000000..73ec7db --- /dev/null +++ b/codeb/codea_abgabe_ab.call @@ -0,0 +1,2 @@ +extern long m(long,long,long,long); +RET(m(1,2,3,5)==5 && m(3,2,1,9)==9); diff --git a/codeb/codea_abgabe_ab.instr b/codeb/codea_abgabe_ab.instr new file mode 100644 index 0000000..b8626c4 --- /dev/null +++ b/codeb/codea_abgabe_ab.instr @@ -0,0 +1 @@ +4 diff --git a/codeb/codea_abgabe_ac.0 b/codeb/codea_abgabe_ac.0 new file mode 100644 index 0000000..245811f --- /dev/null +++ b/codeb/codea_abgabe_ac.0 @@ -0,0 +1,3 @@ +method m(x) + return not this; +end; diff --git a/codeb/codea_abgabe_ac.call b/codeb/codea_abgabe_ac.call new file mode 100644 index 0000000..3a00483 --- /dev/null +++ b/codeb/codea_abgabe_ac.call @@ -0,0 +1,2 @@ +extern long m(long,long); +RET(m(0,12)==1 && m(9,13)==0); diff --git a/codeb/codea_abgabe_ac.instr b/codeb/codea_abgabe_ac.instr new file mode 100644 index 0000000..45a4fb7 --- /dev/null +++ b/codeb/codea_abgabe_ac.instr @@ -0,0 +1 @@ +8 diff --git a/codeb/codea_abgabe_ad.0 b/codeb/codea_abgabe_ad.0 new file mode 100644 index 0000000..dd86b6e --- /dev/null +++ b/codeb/codea_abgabe_ad.0 @@ -0,0 +1,3 @@ +method m(x) + return -5; +end; diff --git a/codeb/codea_abgabe_ad.call b/codeb/codea_abgabe_ad.call new file mode 100644 index 0000000..e341dfc --- /dev/null +++ b/codeb/codea_abgabe_ad.call @@ -0,0 +1,2 @@ +extern long m(long,long); +RET(m(0,12)==-5 && m(9,13)==-5); diff --git a/codeb/codea_abgabe_ad.instr b/codeb/codea_abgabe_ad.instr new file mode 100644 index 0000000..b8626c4 --- /dev/null +++ b/codeb/codea_abgabe_ad.instr @@ -0,0 +1 @@ +4 diff --git a/codeb/codea_abgabe_ae.0 b/codeb/codea_abgabe_ae.0 new file mode 100644 index 0000000..380147c --- /dev/null +++ b/codeb/codea_abgabe_ae.0 @@ -0,0 +1,3 @@ +method m(x) + return x--3; +end; diff --git a/codeb/codea_abgabe_ae.call b/codeb/codea_abgabe_ae.call new file mode 100644 index 0000000..248ce1c --- /dev/null +++ b/codeb/codea_abgabe_ae.call @@ -0,0 +1,2 @@ +extern long m(long,long); +RET(m(0,12)==15 && m(9,13)==16); diff --git a/codeb/codea_abgabe_ae.instr b/codeb/codea_abgabe_ae.instr new file mode 100644 index 0000000..b8626c4 --- /dev/null +++ b/codeb/codea_abgabe_ae.instr @@ -0,0 +1 @@ +4 diff --git a/codeb/codea_abgabe_af.0 b/codeb/codea_abgabe_af.0 new file mode 100644 index 0000000..500f66a --- /dev/null +++ b/codeb/codea_abgabe_af.0 @@ -0,0 +1,3 @@ +method m(x) + return x*this*x*this; +end; diff --git a/codeb/codea_abgabe_af.call b/codeb/codea_abgabe_af.call new file mode 100644 index 0000000..94f6da0 --- /dev/null +++ b/codeb/codea_abgabe_af.call @@ -0,0 +1,2 @@ +extern long m(long,long); +RET(m(2,3)==36 && m(5,-7)==35*35); diff --git a/codeb/codea_abgabe_af.instr b/codeb/codea_abgabe_af.instr new file mode 100644 index 0000000..f599e28 --- /dev/null +++ b/codeb/codea_abgabe_af.instr @@ -0,0 +1 @@ +10 diff --git a/codeb/codea_abgabe_ag.0 b/codeb/codea_abgabe_ag.0 new file mode 100644 index 0000000..3d524dd --- /dev/null +++ b/codeb/codea_abgabe_ag.0 @@ -0,0 +1,3 @@ +method m(x) + return this or x; +end; diff --git a/codeb/codea_abgabe_ag.call b/codeb/codea_abgabe_ag.call new file mode 100644 index 0000000..85b9ba2 --- /dev/null +++ b/codeb/codea_abgabe_ag.call @@ -0,0 +1,2 @@ +extern long m(long,long); +RET(m(3,9)==11 && m(6,13)==15); diff --git a/codeb/codea_abgabe_ag.instr b/codeb/codea_abgabe_ag.instr new file mode 100644 index 0000000..1e8b314 --- /dev/null +++ b/codeb/codea_abgabe_ag.instr @@ -0,0 +1 @@ +6 diff --git a/codeb/codea_abgabe_ah.0 b/codeb/codea_abgabe_ah.0 new file mode 100644 index 0000000..970e37c --- /dev/null +++ b/codeb/codea_abgabe_ah.0 @@ -0,0 +1,3 @@ +method m(x) + return x