src/soc2c.ml · a0197e0ca6c1adedc26192caacb2dbd8c8c6ef5e · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

7 years ago
a0197e0c
soc2c: fix change acc2dbb3 that used memcmp to perform array comparisons · a0197e0c
erwan authored 7 years ago
```
Indeed,
   x=y iff memcmp(x,y) == 0
not
   x=y iff memcmp(x,y) != 0
!
```
a0197e0c

History
soc2c: fix change acc2dbb3 that used memcmp to perform array comparisons
erwan authored 7 years ago
```
Indeed,
   x=y iff memcmp(x,y) == 0
not
   x=y iff memcmp(x,y) != 0
!
```

soc2c.ml 39.33 KiB