Merge branch 'main' of https://github.com/icyphy/gametime

icyphy · Nov 9, 2024 · 8b5f74c · 8b5f74c
2 parents 29b395b + a476041
commit 8b5f74c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -71,6 +71,8 @@ Install the additional libraries via Homebrew:
 brew install graphviz
 ```
 
+If you are having trouble installing pygraphviz on macOS try the following: [StackOverflow](https://stackoverflow.com/questions/69970147/how-do-i-resolve-the-pygraphviz-error-on-mac-os)
+
 ### 4. Install KLEE
 
 To use KLEE with Gametime, follow the installation instructions on the [KLEE official website](https://klee.github.io/).

diff --git a/test/tacle_test/programs/if_elif_else/config.yaml b/test/tacle_test/programs/if_elif_else/config.yaml
@@ -3,7 +3,7 @@ gametime-project:
   file:
     location: if_elif_else.c
     analysis-function: test
-    additional-files: helper.c
+    additional-files: [helper.c]
     start-label: null
     end-label: null