Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
TASTE
OpenGEODE
Commits
465894f3
Commit
465894f3
authored
May 26, 2016
by
Maxime Perrotin
Browse files
Add test case for simulation
parent
50dec439
Changes
3
Hide whitespace changes
Inline
Side-by-side
tests/regression/test-emptysequence2/Makefile
0 → 100644
View file @
465894f3
include
../shared.mk
all
:
test-ada test-llvm
edit
:
$(OPENGEODE)
test.pr
test-parse
:
$(OPENGEODE)
test.pr
--check
test-ada
:
$(OPENGEODE)
test.pr
--toAda
$(ASN1SCC)
-Ada
dataview.asn
-typePrefix
asn1Scc
-equal
$(GNATMAKE)
-O
$(O)
-c
*
.adb
$(GNATBIND)
-n
test.ali
simu
:
$(OPENGEODE)
test.pr
--shared
./test_simu.sh
test-c
:
$(OPENGEODE)
test.pr
--toC
$(ASN1SCC)
-c
dataview.asn
-typePrefix
asn1Scc
-equal
$(CC)
-O
$(O)
-c
*
.c
test-llvm
:
$(OPENGEODE)
test.pr
--llvm
-O
$(O)
$(LLC)
*
.ll
$(CC)
-O
$(O)
-c
*
.s
coverage
:
coverage run
-p
$(OPENGEODE)
test.pr
--toAda
.PHONY
:
all edit test-parse test-ada test-llvm coverage simu
tests/regression/test-emptysequence2/dataview.asn
0 → 100644
View file @
465894f3
TASTE-Dataview DEFINITIONS ::=
BEGIN
MyChoice ::= CHOICE {
a SEQUENCE {},
b SEQUENCE {c SEQUENCE {}, d BOOLEAN}
}
END
tests/regression/test-emptysequence2/test.pr
0 → 100644
View file @
465894f3
SYSTEM test;
/* CIF TEXT (164, 303), (287, 140) */
-- Text area for declarations and comments
use datamodel comment 'dataview.asn';
signal go(MyChoice);
/* CIF ENDTEXT */
CHANNEL c
FROM ENV TO test WITH go;
ENDCHANNEL;
BLOCK test;
SIGNALROUTE r
FROM ENV TO test WITH go;
CONNECT c AND r;
/* CIF PROCESS (202, 142), (150, 75) */
PROCESS test;
/* CIF START (106, 48), (70, 35) */
START;
/* CIF NEXTSTATE (106, 98), (70, 35) */
NEXTSTATE wait;
/* CIF STATE (269, 45), (70, 35) */
STATE wait;
ENDSTATE;
ENDPROCESS test;
ENDBLOCK;
ENDSYSTEM;
\ No newline at end of file
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment