minor update for running llil4map example.

This commit is contained in:
greg7mdp
2024-03-31 22:49:42 -04:00
parent 29c3091e50
commit 55fe94b1c5
2 changed files with 2 additions and 1 deletions
+1 -1
View File
@@ -1,4 +1,4 @@
#!/bin/bash
cd tmp
../../ex_llil4map big* > out.txt
../../ex_llil4map big* big* big* > out.txt