[/] [trunk/] [tests/] [tests] -
Diff 51 ⟶ 52
Diff between revs
51
and
52
| Rev 51 |
Rev 52 |
|---|
| Line 6... |
Line 6... |
`Template' (the default for a new model). The global declarations should
|
`Template' (the default for a new model). The global declarations should
|
begin with a comment of the form:
|
begin with a comment of the form:
|
/*
|
/*
|
description: <free form description, may cover multiple lines.>
|
description: <free form description, may cover multiple lines.>
|
|
|
error: <a non-zero error code if the test is expected to fail>
|
error: <a non-zero error code if urpal is expected to fail>
|
stderr: <expected messages on stderr>
|
stderr: <expected messages on stderr>
|
|
|
|
testname: <an alternative name for the test template (useful
|
|
for instantiating it with constants.)>
|
system: <an optional replacement system declaration>
|
system: <an optional replacement system declaration>
|
|
|
|
uppaalerror: <a non-zero error code if uppaal is expected to fail>
|
|
|
layout: <a value for the graphviz/engine setting>
|
layout: <a value for the graphviz/engine setting>
|
scale: <a floating point scaling factor>
|
scale: <a floating point scaling factor>
|
tabulate: <yes|no>
|
tabulate: <yes|no>
|
|
|
author: <author name>
|
author: <author name>
|
author: <author name>
|
author: <author name>
|