- 18 Apr, 2018 20 commits
-
-
-
* Add x.parse.out and x-to-xmi.out files for SDL and ASN.1 files. * Add global status files. Separate files for parse and import tests
-
Now: "Output file(s) will not be created"
-
-
-
Daniel Tuulik authored
-
Daniel Tuulik authored
The out file comparison is taken from QGen, it still needs some adjustments to work Calling sdl-parser assumes the following: #export JAR_DIR=~/esa/esa-ic-proj/parser/ee.ibk.sdl.parser/target/export/ #export JAR_NAME=ee.ibk.sdl.parser-full.jar
-
-
The status was previously stored with a reduced model
-
-
Improved parsing of composite states
-
to avoid false failures on file-extension based testing
-
Previous numbers were byte counts.
-
Fixed STRING and COMMENT2 rules
-
-
Such files are e.g. generated by the QGen SDL parser and the ID-s in these files change. So, don't put them in git
-
-
The out files were generated using a command like: find -name "*.pr" -print -exec sh -c "qgen-sdl-parse {} > {}-parse.out" \; Where qgen-sdl-parse is a helper script that calls the AntLR 4/Java parser with a command like: JAR_DIR=<some dir> java -jar ${JAR_DIR}ee.ibk.sdl.parser.jar $@ and also logs status
-
Daniel Tuulik authored
-
-
- 27 Mar, 2018 3 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
FPAR variables in procedures defined in an inner scope (nested states) were not properly addressed
-
- 26 Mar, 2018 5 commits
-
-
Maxime Perrotin authored
the Ada backend now exports C symbols with _PI_ to be compatible with TASTE
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 09 Mar, 2018 1 commit
-
-
Maxime Perrotin authored
-
- 16 Feb, 2018 3 commits
-
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
- 14 Feb, 2018 5 commits
-
-
Maxime Perrotin authored
V2 is depending on ASN1SCC V4
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
-
Maxime Perrotin authored
used for regression testing of signed/unsigned cases with asn1sccv4
-
- 06 Feb, 2018 1 commit
-
-
Maxime Perrotin authored
-
- 04 Feb, 2018 1 commit
-
-
Maxime Perrotin authored
-
- 29 Jan, 2018 1 commit
-
-
Maxime Perrotin authored
-