setup tests for dune (57c96fb7) · Commits · LustreC / Lustrec - public version · GitLab

Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Lustrec - public version
- Activity
- Members
- Labels
- Issues
  0
- Issue boards
- Milestones
- Iterations
- Wiki
- Requirements
- Environments
- Terraform modules
- Incidents

Snippets Groups Projects

57c96fb7

Commit 57c96fb7 authored 4 years ago by

BRUN Lelio

Downloads
- Patches
- Plain Diff

setup tests for dune

parent 97d4e95e

No related branches found

No related tags found

No related merge requests found

Changes 18

Hide whitespace changes

Inline Side-by-side

Showing

.gitmodules 3 additions, 0 deletions

.gitmodules
dune 41 additions, 0 deletions

dune
dune-project 3 additions, 1 deletion

dune-project
include/dune 23 additions, 0 deletions

include/dune
share/FindLustre.cmake 1 addition, 1 deletion

share/FindLustre.cmake
src/automata.ml 8 additions, 8 deletions

src/automata.ml
src/backends/C/c_backend_header.ml 5 additions, 5 deletions

src/backends/C/c_backend_header.ml
src/backends/C/c_backend_makefile.ml 1 addition, 1 deletion

src/backends/C/c_backend_makefile.ml
src/compiler_stages.ml 20 additions, 22 deletions

src/compiler_stages.ml
src/dune 7 additions, 2 deletions

src/dune
src/lusic.ml 10 additions, 8 deletions

src/lusic.ml
src/main_lustre_testgen.ml 2 additions, 2 deletions

src/main_lustre_testgen.ml
src/options_management.ml 1 addition, 1 deletion

src/options_management.ml
src/parsers/parse.ml 30 additions, 27 deletions

src/parsers/parse.ml
src/parsers/parser_lustre.mly 24 additions, 25 deletions

src/parsers/parser_lustre.mly
src/utils/location.ml 2 additions, 1 deletion

src/utils/location.ml
src/version.ml 7 additions, 5 deletions

src/version.ml
tests 1 addition, 0 deletions

tests

with 189 additions and 109 deletions

0% or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment