Commit af10f8e

committed

Clean up timed XSTS configuration

1 parent 225286a commit af10f8eCopy full SHA for af10f8e

5 files changed

+115

-185

lines changed

subprojects/xsts
- xsts-analysis/src
  - main/java/hu/bme/mit/theta/xsts/analysis/config
    - TimedXstsConfigBuilder.java
    - XstsConfigBuilder.java
  - test/java/hu/bme/mit/theta/xsts/analysis
    - TimedXstsCFSplitCombinedAlgTest.java
    - TimedXstsTest.java
- xsts-cli/src/main/java/hu/bme/mit/theta/xsts/cli
  - XstsCli.java

5 files changed

+115

-185

lines changed

Comments

(0)