update synopsis

uds-se · Nov 11, 2023 · 1590a72 · 1590a72
1 parent b468e0b
commit 1590a72
Show file tree

Hide file tree

Showing 9 changed files with 19 additions and 19 deletions.
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-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