From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 23 Mar 2016 11:21:21 +0000 (+0100)
Subject: skeleton updated
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=826f29235732bd3fddf0db40f70387f5ca9c66dc;p=mc1516pa.git

skeleton updated
---

diff --git a/modelchecker/main.c b/modelchecker/main.c
index 76f5e95..c439d30 100644
--- a/modelchecker/main.c
+++ b/modelchecker/main.c
@@ -1,6 +1,7 @@
 #include <stdio.h>
 #include <stdbool.h>
 #include <ctype.h>
+#include <time.h>
 
 #include <sylvan.h>
 #include "mc.h"
@@ -33,20 +34,26 @@ void usage(char *prg){
 }
 
 void solve(FILE *inputstream){
+	clock_t time_start, time_file_read;
 	int buffer;
+
+	time_start = clock();
 	while((buffer = fgetc(inputstream)) != EOF){
 		printf("%c", buffer);
+		// Alex:
+		// Screen reading
+		// - Removing outside walls
+		// - Bucket fill
+		// - [tile]
+		// - tile = structure {int, int, enumtile}
 	}
-	// Alex:
-	// Screen reading
-	// - Removing outside walls
-	// - Bucket fill
-	// - [tile]
-	// - tile = structure {int, int, enumtile}
+	time_file_read = clock();
 
 	// Both: Encoding in both schemes
 	
 	// Future: SMC
+	fprintf(stderr, "CPU time taken: %fs\n",
+		((double) (time_file_read-time_start))/CLOCKS_PER_SEC);
 }
 
 int main(int argc, char **argv){