https://github.com/runtimeverification/javamop
Tip revision: f732053b6ed497d1f1135603697bf83061b5c234 authored by dependabot[bot] on 13 October 2020, 06:48:50 UTC
Bump junit from 4.11 to 4.13.1
Bump junit from 4.11 to 4.13.1
Tip revision: f732053
File | Mode | Size |
---|---|---|
bin | ||
config | ||
docs | ||
examples | ||
src | ||
.gitignore | -rw-r--r-- | 141 bytes |
INSTALL.md | -rwxr-xr-x | 1.5 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
LICENSE.md | -rw-r--r-- | 2.4 KB |
README.md | -rwxr-xr-x | 1.4 KB |
pom.xml | -rw-r--r-- | 8.3 KB |
unit-test-design.txt | -rw-r--r-- | 979 bytes |