DASCA
/
DASCA
2
1
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added (optional) Scalatest dependency.

This commit is contained in:
Achim D. Brucker 2016-09-05 20:21:57 +01:00
parent b2eb5aabe5
commit 14a767c058
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
README.md
View File

@ -8,6 +8,7 @@
* Scala IDE
* Scala Maven Plugin (http://scala-ide.org/docs/tutorials/m2eclipse/)
* m2e plugin
* Scalatest Runner (optional)
* CVC3 including the Java bindings for CVC3
* apktool