.. |
META-INF
|
dcea5979ee
Created test framework that runs parameterized tests
|
7 years ago |
input
|
1ba0f28d3d
Almost working for rate.sa as well. Need to fix sourcedependency. A canonical version has been hand-made, as the canonicalgenerator was not able to handle it.
|
6 years ago |
oracles
|
ba33111dd6
canonical generator skeleton
|
6 years ago |
src
|
1ba0f28d3d
Almost working for rate.sa as well. Need to fix sourcedependency. A canonical version has been hand-made, as the canonicalgenerator was not able to handle it.
|
6 years ago |
build.properties
|
f35065e0db
added DSL example
|
7 years ago |
pom.xml
|
60a3534dc3
Removed include in pom
|
7 years ago |