test/board_triglav.exp · 3f8cb571d20f44faaef9e42d96785a5a387fcf14 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

11 years ago

Some work to prepare the merge with the lurette git repo. · 5316f18a

Erwan Jahier authored 11 years ago

I took the data type definition from SocExecValue to define a Data
module that is a strict extension of the Lutin Data module.

The duplicated Genlex module is now also identical to the one of
Lurette.

Quite boring, but simple thanks to the ocaml type system.

5316f18a

Some work to prepare the merge with the lurette git repo.

Erwan Jahier authored 11 years ago

I took the data type definition from SocExecValue to define a Data
module that is a strict extension of the Lutin Data module.

The duplicated Genlex module is now also identical to the one of
Lurette.

Quite boring, but simple thanks to the ocaml type system.

board_triglav.exp 94 B

# load_generic_config "unix";

set_board_info hostname triglav
set_board_info username jahier