Difference between revisions of "Run.properties"
Revision as of 20:52, 6 November 2014
The run.properties file contains information about a run.
mainfile= source file name of main (to be executed executed) source file
contesttime= number of milliseconds since contest start when submission sent
submittedby= either a # meaning a team or a login account (like judge3)
language= language name, can be the file extension or the full title of the language used
problem= problem short name as found in the problemset.yaml
solved= boolean (yes/no or true/false)
TBD should we limit the boolean values to yes/no ?
sourcecount= number of source files submitted
source1= source file one source2= source file two sourceN= source file N
mainfile=Main.java problem=low language=Java submittedby=28 contesttime=1897053 source1=Main.java source2=Utilities.java sourcecount=2 solved=Yes