Synopsis update

uds-se · Oct 14, 2023 · def9d81 · def9d81
1 parent 9da5b59
commit def9d81
Show file tree

Hide file tree

Showing 16 changed files with 60 additions and 60 deletions.
diff --git a/notebooks/PICS/FuzzingWithConstraints-synopsis-1.png b/notebooks/PICS/FuzzingWithConstraints-synopsis-1.png
diff --git a/notebooks/PICS/FuzzingWithConstraints-synopsis-1.svg b/notebooks/PICS/FuzzingWithConstraints-synopsis-1.svg
diff --git a/notebooks/PICS/GUIFuzzer-synopsis-2.png b/notebooks/PICS/GUIFuzzer-synopsis-2.png
diff --git a/notebooks/PICS/GUIFuzzer-synopsis-2.svg b/notebooks/PICS/GUIFuzzer-synopsis-2.svg
diff --git a/notebooks/PICS/GUIFuzzer-synopsis-3.png b/notebooks/PICS/GUIFuzzer-synopsis-3.png
diff --git a/notebooks/PICS/GrammarFuzzer-synopsis-2.png b/notebooks/PICS/GrammarFuzzer-synopsis-2.png
diff --git a/notebooks/PICS/GrammarFuzzer-synopsis-2.svg b/notebooks/PICS/GrammarFuzzer-synopsis-2.svg
diff --git a/notebooks/PICS/GrammarMiner-synopsis-3.png b/notebooks/PICS/GrammarMiner-synopsis-3.png
diff --git a/notebooks/PICS/GrammarMiner-synopsis-3.svg b/notebooks/PICS/GrammarMiner-synopsis-3.svg
diff --git a/notebooks/PICS/GrammarMiner-synopsis-4.png b/notebooks/PICS/GrammarMiner-synopsis-4.png
diff --git a/notebooks/PICS/GrammarMiner-synopsis-4.svg b/notebooks/PICS/GrammarMiner-synopsis-4.svg
diff --git a/notebooks/PICS/GrammarMiner-synopsis-5.png b/notebooks/PICS/GrammarMiner-synopsis-5.png
diff --git a/notebooks/PICS/GrammarMiner-synopsis-5.svg b/notebooks/PICS/GrammarMiner-synopsis-5.svg
diff --git a/notebooks/PICS/GrammarMiner-synopsis-9.png b/notebooks/PICS/GrammarMiner-synopsis-9.png
diff --git a/notebooks/PICS/GrammarMiner-synopsis-9.svg b/notebooks/PICS/GrammarMiner-synopsis-9.svg