#77: wip

sdasgup3 · Jun 6, 2018 · b9161ee · b9161ee
1 parent e0f1cc4
commit b9161ee
Show file tree

Hide file tree

Showing 53 changed files with 57,931 additions and 21,512 deletions.
diff --git a/x86-semantics/scripts/run.pl b/x86-semantics/scripts/run.pl
@@ -112,7 +112,7 @@ sub createEnv {
     my @kstates = processKFile( $basename, $filek );
     my @xstates = processXFile( $basename, $filex );
 
-    #pprint( \@kstates, \@xstates, $kstateskip );
+    pprint( \@kstates, \@xstates, $kstateskip );
 
     compareStates( $basename, \@kstates, \@xstates );
 }