Package | Description |
---|---|
de.uka.ilkd.key.proof.io.consistency |
Modifier and Type | Class and Description |
---|---|
class |
DiskFileRepo
This class uses a temporary directory as a store for the proof-relevant files.
|
class |
MemoryFileRepo
This class uses the memory as a store for the proof-relevant files.
|
class |
SimpleFileRepo
This FileRepo is able to build a proof bundle but is not able to guarantee consistency
between the saved proof and the source code because it does not cache the source code.
|
Copyright © 2003-2019 The KeY-Project.