From 2c4da31bd874b678fbbdf0f78afe709b82a964f8 Mon Sep 17 00:00:00 2001 From: Bernhard Urban Date: Thu, 6 May 2010 00:48:32 +0200 Subject: [PATCH] codea: felder und not testfaelle --- codea/lewurm_09.0 | 12 ++++++++++++ codea/lewurm_09.call | 6 ++++++ codea/lewurm_10.0 | 11 +++++++++++ codea/lewurm_10.call | 5 +++++ 4 files changed, 34 insertions(+) create mode 100644 codea/lewurm_09.0 create mode 100644 codea/lewurm_09.call create mode 100644 codea/lewurm_10.0 create mode 100644 codea/lewurm_10.call diff --git a/codea/lewurm_09.0 b/codea/lewurm_09.0 new file mode 100644 index 0000000..b42b238 --- /dev/null +++ b/codea/lewurm_09.0 @@ -0,0 +1,12 @@ +struct j k l end; +method w() + return this.k; +end; + +method x() + return l; +end; + +method y() + return (this-8).k; +end; diff --git a/codea/lewurm_09.call b/codea/lewurm_09.call new file mode 100644 index 0000000..c16667e --- /dev/null +++ b/codea/lewurm_09.call @@ -0,0 +1,6 @@ +long w(long); +long x(long); +long y(long); + +long t[3] = {5,6,7}; +RET(w((long)t)==6 && x((long)t)==7 && y((long)t)==5); diff --git a/codea/lewurm_10.0 b/codea/lewurm_10.0 new file mode 100644 index 0000000..b8ed559 --- /dev/null +++ b/codea/lewurm_10.0 @@ -0,0 +1,11 @@ +method w() + return not this; +end; + +method x() + return not (not this); +end; + +method y() + return not (not (not this)); +end; diff --git a/codea/lewurm_10.call b/codea/lewurm_10.call new file mode 100644 index 0000000..fff444f --- /dev/null +++ b/codea/lewurm_10.call @@ -0,0 +1,5 @@ +long w(long); +long x(long); +long y(long); + +RET(w(0)==1 && x(0)==0 && y(1)==0); -- 2.25.1