Sync ellidiss GUI

- Revert regression with TASTE_IV_Properties - Add Coverage flag to TASTE_DV_Properties

Sync ellidiss GUI
- Revert regression with TASTE_IV_Properties - Add Coverage flag to TASTE_DV_Properties
81846638 · Maxime Perrotin · 6290779b · 0a35e428 · 56eaf1fc · 0a35e428
Commit 81846638 authored Oct 02, 2017 by Maxime Perrotin
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

ellidiss-GUI ellidiss-GUI +1 -1

No files found.
--- a/ellidiss-GUI @ 0a35e428
+++ b/ellidiss-GUI @ 0a35e428
-Subproject commit 56eaf1fc2c38ff9edf7338be68ac67d54df9879b
+Subproject commit 0a35e428e9ddb6ddca7e8fc27ba71ddabcafdbf5