-#LyX 1.1 created this file. For more info see http://www.lyx.org/
-\lyxformat 218
+#LyX 1.3 created this file. For more info see http://www.lyx.org/
+\lyxformat 221
\textclass article
\begin_preamble
-\usepackage{url}
+\pdfoptionpdfminorversion=3
+\usepackage[
+ pdftitle={Proposed Test Suite Design},
+ pdfauthor={Michael Hope},
+ pdfkeywords={c case compiler framework GPL regression SDCC suite test},
+ colorlinks=true,
+ linkcolor=blue] {hyperref}
\end_preamble
\language english
\inputencoding auto
\paperpackage a4
\use_geometry 0
\use_amsmath 0
+\use_natbib 0
+\use_numerical_citations 0
\paperorientation portrait
\secnumdepth 3
\tocdepth 3
\layout Title
Proposed Test Suite Design
-\layout Author
+\begin_inset ERT
+status Open
-Michael Hope (michaelh@juju.net.nz)
-\layout Date
+\layout Standard
+\backslash
+date{2001-07-13}
+\end_inset
-\latex latex
-\backslash
-today{}
+\layout Author
+
+Michael Hope (michaelh @ juju.net.nz)
\layout Abstract
This article describes the goals, requirements, and suggested specification
The following code generates a simple increment test for all combinations
of the storage classes and all combinations of the data sizes.
This is a bad example as the optimiser will often remove most of this code.
-\layout Standard
+\newline
+
+\layout Verse
\family typewriter
/** Test for increment.
-\layout Standard
-
-
-\family typewriter
+\newline
+\SpecialChar ~
+\SpecialChar ~
type: char, int, long
-\layout Standard
-
-
-\family typewriter
+\newline
+\SpecialChar ~
+\SpecialChar ~
Z80 port does not fully support longs (4 byte)
-\layout Standard
-
-
-\family typewriter
+\newline
+\SpecialChar ~
+\SpecialChar ~
type[z80]: char, int
-\layout Standard
-
-
-\family typewriter
+\newline
+\SpecialChar ~
+\SpecialChar ~
class:
\begin_inset Quotes eld
\end_inset
\end_inset
, register, static */
-\layout Standard
-
-
-\family typewriter
+\newline
+
+\newline
static void
-\layout Standard
-
-
-\family typewriter
+\newline
testInc{class}{types}(void)
-\layout Standard
-
-
-\family typewriter
-{
-\layout Standard
-
-
-\family typewriter
+\newline
+{
+\newline
+\SpecialChar ~
+\SpecialChar ~
{class} {type} i = 0;
-\layout Standard
-
-
-\family typewriter
+\newline
+\SpecialChar ~
+\SpecialChar ~
i = i + 1;
-\layout Standard
-
-
-\family typewriter
+\newline
+\SpecialChar ~
+\SpecialChar ~
ASSERT((i == 1));
-\layout Standard
-
-
-\family typewriter
+\newline
}
\the_end