increased version number to 5.7

Daniel Kroening · Daniel Kroening · commit a7663cb99706 · 2017-03-19T17:18:34.000Z
diff --git a/src/cbmc/version.h b/src/cbmc/version.h
@@ -1,6 +1,6 @@
 #ifndef CPROVER_CBMC_VERSION_H
 #define CPROVER_CBMC_VERSION_H
 
-#define CBMC_VERSION "5.6"
+#define CBMC_VERSION "5.7"
 
 #endif // CPROVER_CBMC_VERSION_H
