utils/test_lus2lic_no_node · 5932e4e11855123c7fc0aff512224b3528a6bb3a · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

11 years ago
5932e4e1
Modify the --gen-autotest mode so that the generated oracle avoid a bug in the -lv4 mode · 5932e4e1
Erwan Jahier authored 11 years ago
```
where equations such as " ok = (x=x_ref); " are translated into incorrect v' lustre
when x is a structure or an array.

nb : #FAILS=152->135
```
5932e4e1

History
Modify the --gen-autotest mode so that the generated oracle avoid a bug in the -lv4 mode
Erwan Jahier authored 11 years ago
```
where equations such as " ok = (x=x_ref); " are translated into incorrect v' lustre
when x is a structure or an array.

nb : #FAILS=152->135
```

test_lus2lic_no_node 951 B