Added PSB2 solved to examples

alcides · Apr 10, 2024 · 5bdefed · 5bdefed
1 parent 1d3ef18
commit 5bdefed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/run_examples.sh b/run_examples.sh
@@ -36,7 +36,7 @@ do
 done
 
 # TODO: add pbt PSB2
-for folder in ffi image imports list syntax synthesis;
+for folder in ffi image imports list syntax synthesis "PSB2/solved";
 do
     for entry in examples/$folder/*.ae
     do