Package de.uzl.its.swat.request

package de.uzl.its.swat.request

Related Packages

Package	Description
de.uzl.its.swat

Classes

Class	Description
ConstraintRequest	Sends the constraints recorded during symbolic execution to the symbolic explorer.
Request