Deryaft - Screenshots

Deryaft Screenshots

Deryaft is a command line utility and its output is also text based. The first step is to prepare serialized example objects.

(The example objects need to be serialized.)

Assuming Deryaft executable jar is located at c:\d2
(Calling deryaft is as simple as calling any other executable JAR.)

Deryaft prints many informative messages while executing
(You may want to increase the buffer size of command line window to view all messages.)

Deryaft outputs a java file in the execution folder containing repOK and supporting code
(The generated repOK is a valid input for other analysis tools such as Korat.)