← Back to branch summary

~ubuntu-branches/ubuntu/wily/afnix/wily

« back to all changes in this revision

Viewing changes to tst/ref/AXI0065.als

  • Committer: Bazaar Package Importer
  • Author(s): Anibal Monsalve Salazar
  • Date: 2011-03-16 21:31:18 UTC
  • mfrom: (1.1.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20110316213118-gk4k3ez3e5d2huna
Tags: 2.0.0-1
* QA upload.
* New upstream release
* Debian source format is 3.0 (quilt)
* Fix debhelper-but-no-misc-depends
* Fix ancient-standards-version
* Fix package-contains-linda-override
* debhelper compatibility is 7
* Fix dh-clean-k-is-deprecated

Show diffs side-by-side

added added

removed removed

Lines of Context:
tst/ref/AXI0065.als
 
1
# ---------------------------------------------------------------------------
 
2
# - AXI0065.als                                                              -
 
3
# - afnix engine test module                                                -
 
4
# ---------------------------------------------------------------------------
 
5
# - This program is free software;  you can redistribute it  and/or  modify -
 
6
# - it provided that this copyright notice is kept intact.                  -
 
7
# -                                                                         -
 
8
# - This program  is  distributed in  the hope  that it will be useful, but -
 
9
# - without  any  warranty;  without  even   the   implied    warranty   of -
 
10
# - merchantability or fitness for a particular purpose.  In no event shall -
 
11
# - the copyright holder be liable for any  direct, indirect, incidental or -
 
12
# - special damages arising in any way out of the use of this software.     -
 
13
# ---------------------------------------------------------------------------
 
14
# - copyright (c) 1999-2011 amaury darsch                                   -
 
15
# ---------------------------------------------------------------------------
 
16
 
 
17
# @info   counter test module
 
18
# @author amaury darsch
 
19
 
 
20
# create a counter
 
21
trans cntr  (Counter 10)
 
22
 
 
23
# check the counter 
 
24
assert "Counter" (cntr:repr)
 
25
assert true (counter-p cntr)
 
26
 
 
27
# check the count
 
28
trans step 0
 
29
loop (cntr:step-p) (step:++)
 
30
assert 10 step
 
31
 
 
32
# reset the counter and step
 
33
trans step 0
 
34
cntr:reset
 
35
# loop again
 
36
loop (cntr:step-p) (assert (cntr:get) (step:++))