88 Commits

Author SHA1 Message Date
Pierre-Marie de Rodat
9ec0455913 Testsuite: make emit_and_print_errors return the compile context
TN: S917-027
2019-09-18 16:01:32 +02:00
Pierre-Marie de Rodat
693484ffd7 When possible, disable Ada API generation in testcases
This improves the time it takes to run most testcases.

TN: S823-010
2019-09-05 14:44:22 +02:00
Pierre-Marie de Rodat
1010bd2850 Use a single Langkit_Support build in the testsuite
To speed up testsuite runs, do not rebuild Langkit_Support each time we
compile a language specification in testcases. For this, we turn
the hardcoded langkit_support.gpr project file into a library project.
To speed things up even more, use a single object directory and build
all library types with -fPIC so that units are built only once. All
code that is run in testcases is already built with -fPIC anyway.

TN: S311-015
2019-09-05 14:44:22 +02:00
Pierre-Marie de Rodat
3ac8d5206b Testsuite: do not compile mains unless necessary
TN: S823-010
2019-09-05 14:44:22 +02:00
Pierre-Marie de Rodat
c538e84b2c Testsuite: automatically set up Dune projects
TN: S410-040
2019-06-27 15:02:58 +02:00
Pierre-Marie de Rodat
3b63e1e9a0 python_support/utils.py: document build_and_run's ocaml_main argument
TN: S410-040
2019-06-27 15:02:58 +02:00
Daniel Mercier
84ed349df7 Add tests for OCaml API
TN: S410-040
2019-06-27 15:02:58 +02:00
Pierre-Marie de Rodat
99d722a2ce stylechecks: allow to specify the Langkit root dir
TN: S315-028
2019-03-29 15:21:25 +01:00
Pierre-Marie de Rodat
c0dd2fa8a1 Stop using langkit.lexer.Eof if test lexers
TN: R913-030
2019-02-08 17:54:23 +01:00
Pierre-Marie de Rodat
dbe3771da9 Remove dead code related to Quex
TN: R913-030
2019-02-07 17:44:36 +01:00
Pierre-Marie de Rodat
e96576b353 misc/link_two_libs: new testcase
TN: R913-030
2019-02-07 17:44:36 +01:00
Pierre-Marie de Rodat
1b48a52d2d Replace Quex with our own lexer generator
TN: R913-030
2019-02-07 17:44:36 +01:00
Pierre-Marie de Rodat
ffd078a4e5 Add a warning for undocumented nodes
TN: S129-007
2019-01-29 17:12:15 +01:00
Raphaël AMIARD
947bf70e99 Fix logging test 2018-10-30 17:39:42 +01:00
Pierre-Marie de Rodat
1d71c0a759 grammar/warn_imprecise: new testcase
TN: R925-010
2018-09-28 15:02:58 +02:00
Pierre-Marie de Rodat
fe0a4b2fb2 Rework Langkit's reset mechanism
TN: R912-023
2018-09-14 10:27:00 +02:00
Pierre-Marie de Rodat
2685e0f1f7 Computed code emission order for arrays only once, just like structs
TN: R912-023
2018-09-14 10:27:00 +02:00
Pierre-Marie de Rodat
6afde9f216 Add DSL bindings to declare enumeration types
TN: R727-007
2018-09-06 17:35:16 +02:00
Pierre-Marie de Rodat
c0a663538b Add internal infrastructure to create enumeration types
TN: R727-007
2018-09-06 17:35:16 +02:00
Pierre-Marie de Rodat
1d6389fa0a Testsuite: make it possible to use symbol canonicalizers
TN: R809-007
2018-08-13 13:17:11 +02:00
Raphaël AMIARD
864f3e2467 Rename CompiledTypeMetaclass -> CompiledTypeRepo 2018-07-31 12:23:21 +02:00
Pierre-Marie de Rodat
015f6d087a Make it possible to run Ada programs under Valgrind in the testsuite
TN: R730-003
2018-07-30 12:28:39 +02:00
Pierre-Marie de Rodat
f72094cf89 ManageScript: pretty-print generated Ada sources by default
... but don't do it during testing, to avoid spurious output and not to
make the testsuite even slower. Also don't abort if the pretty-printer
fails.
2018-06-27 16:32:09 +01:00
Pierre-Marie de Rodat
fb77256e74 properties/big_integer: update to check ordering comparison operations
TN: R529-024
2018-05-31 15:07:23 +02:00
Pierre-Marie de Rodat
180921a097 properties/big_integer: update to check subt. and eq. operations
TN: R529-024
2018-05-31 15:07:23 +02:00