return
if self.trace_file is None:
- name, ext = os.path.splitext(os.path.basename(self.cmd[0]))
+ if self.ref_dump is not None:
+ name = self.ref_dump
+ else:
+ name = self.cmd[0]
+ name, ext = os.path.splitext(os.path.basename(name))
+ while ext:
+ name, ext = os.path.splitext(os.path.basename(name))
self.trace_file = os.path.abspath(os.path.join(self.results, name + '.trace'))
if os.path.exists(self.trace_file):
os.remove(self.trace_file)
differ.visit(refState, srcState)
fail('state from call %u does not match %s' % (callNo, refStateFileName))
- # Allo non-standard JS comments in JSON
- json_comment_re = re.compile(r'//.*$', re.MULTILINE)
-
def getRefState(self, refStateFileName):
- data = open(refStateFileName, 'rt').read()
- data = self.json_comment_re.sub('', data)
- state = json.loads(data, strict=False)
- self.adjustRefState(state)
+ stream = open(refStateFileName, 'rt')
+ from jsondiff import load
+ state = load(stream)
return state
def getNamePrefix(self):