ClemsonRSRG/RESOLVE — pull request #73 by yushan87 (2013-10-23 15:55:15+00:00)
Title: Prover does not respect the web interface flag

The prover always generates a proof file. This is not needed by the web interface since it doesn't deal with files. This fix makes sure the web interface flag is not on before generating a proof file.

Pivotal Story: Verifying Facilities
Pivotal Story Number: #56452048