nondex-common
2.1.1
Group: edu.illinois - All Dependencies
nondex
2.1.1
NonDex · A tool for finding strong assumptions on APIs with non-deterministic specifications.
${project.groupId}:${project.artifactId} · A maven extension for incremental building of multi-module projects and using Ekstazi for test selection.
nondex-core
2.1.1