Package de.uzl.its.swat.config

package de.uzl.its.swat.config
The config package contains classes for the configuration of the symbolic execution.
  • Classes
    Class
    Description
    Config
    The Config class is responsible for reading the configuration file and providing the application with the configuration options.