30/7/2017:

Basic commit

src/drawsystem.cpp

@@ -138,8 +138,9 @@ int main(int argc, char *argv[]) {
 	short int noofguards, noofresets; // #gurads and #reset clocks in a transition
 	int guard, reset;
 	
-	if(argc < 2) {
-		cout << "You must give the timed system input file!" << endl;
+	if(argc < 3) {
+		cout << "You must give the timed system input file and the output file!" << endl;
+                cout << "The first input will be the system input file and the second input will be the ouput file name" << endl;
 		return 0;
 	}