Update Project_suggestions.md
Compare changes
@@ -8,11 +8,12 @@ Symbolic execution engine for MIR internal format
@@ -35,7 +36,7 @@ Symbolic execution engine for MIR internal format
@@ -49,7 +50,7 @@ Symbolic execution engine for MIR internal format