src/mutation.ml · 40d33d552d2a819290e78ee6b058f75bf9797929 · LustreC / Lustrec - public version · GitLab

Snippets Groups Projects

8 years ago
40d33d55
first version (doesn't even compile) of mutation and test generation standalone command: lustret · 40d33d55
THIRIOUX Xavier authored 8 years ago
```
mostly a recovery of an ancient svn repo: mutations
```
40d33d55

History
first version (doesn't even compile) of mutation and test generation standalone command: lustret
THIRIOUX Xavier authored 8 years ago
```
mostly a recovery of an ancient svn repo: mutations
```

Code owners

Assign users and groups as approvers for specific file changes. Learn more.