Commit fa4e284d authored by Thanassis Tsiodras's avatar Thanassis Tsiodras
Browse files

Model checker depends on stringtemplate3

parent 5c2e4e5e
#!/bin/bash #!/bin/bash
pip install --user --upgrade singledispatch pip install --user --upgrade singledispatch || exit 1
pip install --user --upgrade stringtemplate3 || exit 1
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment