suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add some bad retype testcases

Browse Source
This commit is contained in:
Adam Sampson 2007-05-03 00:09:20 +00:00
parent ff3bd7fd71
commit 0271fbc1d7
4 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
fco2/testcases/_bad_retype3.occ Normal file
View File

@ -0,0 +1,5 @@
PROC P ()
[47]BYTE bs:
REAL64 z RETYPES bs:
SKIP
:

11
fco2/testcases/_bad_retype4.occ Normal file
View File

@ -0,0 +1,11 @@
PROC Q ([]BYTE bs)
REAL64 z RETYPES bs:
z := 3.141 (REAL64)
:
PROC P ()
SEQ
[8]BYTE ok:
Q (ok)
[47]BYTE bad:
Q (bad)
:

11
fco2/testcases/_bad_retype5.occ Normal file
View File

@ -0,0 +1,11 @@
PROC Q ([]BYTE bs)
REAL64 z RETYPES bs:
z := 3.141 (REAL64)
:
PROC P ()
SEQ
[8]BYTE ok:
Q (ok)
[16]BYTE bad:
Q (bad)
:

11
fco2/testcases/_bad_retype6.occ Normal file
View File

@ -0,0 +1,11 @@
PROC Q ([]BYTE bs)
[2]REAL64 z RETYPES bs:
z[0] := 3.141 (REAL64)
:
PROC P ()
SEQ
[16]BYTE ok:
Q (ok)
[32]BYTE bad:
Q (bad)
: