From 489f3d421c525123baabd021da9a546b4f100d80 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 29 May 2009 21:25:51 +0000 Subject: Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read. Increased KTEST version. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72592 91177308-0d34-0410-b5e6-96231b3b80d8 --- tools/ktest-tool/ktest-tool | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tools/ktest-tool') diff --git a/tools/ktest-tool/ktest-tool b/tools/ktest-tool/ktest-tool index e06a9faf..a7a3abf1 100755 --- a/tools/ktest-tool/ktest-tool +++ b/tools/ktest-tool/ktest-tool @@ -4,7 +4,7 @@ import os import struct import sys -version_no=2 +version_no=3 class KTestError(Exception): pass @@ -18,7 +18,7 @@ class KTest: f = open(path,'rb') hdr = f.read(5) - if len(hdr)!=5 or hdr!='BOUT\n': + if len(hdr)!=5 or (hdr!='KTEST' and hdr != "BOUT\n"): raise KTestError,'unrecognized file' version, = struct.unpack('>i', f.read(4)) if version > version_no: -- cgit 1.4.1