Name | Last commit | Last update |
---|---|---|
lib-bin | ||
library | ||
project | ||
regression | ||
src | ||
testcases | ||
unmanaged | ||
web | ||
.gitignore | ||
PERMISSIONS | ||
README | ||
build.sbt | ||
run-tests.sh |
EqualitySplit now is also applied if there is more than two inputs with the same type. InequalitySplit splits two integer inputs in the following way: - a < b - a == b - a > b
Name | Last commit | Last update |
---|---|---|
lib-bin | ||
library | ||
project | ||
regression | ||
src | ||
testcases | ||
unmanaged | ||
web | ||
.gitignore | ||
PERMISSIONS | ||
README | ||
build.sbt | ||
run-tests.sh |