Claripy newest versions no longer work

[andsanmar]

Hi, I've tried to run the test cases but claripy version is no longer working (I've used the commit angr/claripy@f3269ed and it works), please check it.

Anyway, with it working, it runs the Paul Kocher examples without problem, but it doesn't get to analyze the next one that comes right after:

INFO | 2019-09-20 19:04:49,060 | main | Running Spectre v1 case 1 without speculative execution

WARNING | 2019-09-20 19:04:49,235 | cle.loader | The main binary is a position-independent executable. It is being loaded with a base address of 0x400000.
Traceback (most recent call last):
File "pitchfork.py", line 810, in
alltests(tweetnacl=False)
File "pitchfork.py", line 756, in alltests
spectrev1_notspec = runallSpectrev1(spec=False)
File "pitchfork.py", line 713, in runallSpectrev1
return { "01" : spectrev1case1Simgr(**kwargs),
File "pitchfork.py", line 569, in spectrev1case1Simgr
return _spectreSimgr(spectrev1_case_1, [], "Spectre v1 case 1", "explicit", **kwargs)
File "pitchfork.py", line 554, in _spectreSimgr
proj,state = getProjState(*getProjStateArgs)
File "pitchfork.py", line 163, in spectrev1_case_1
return _typicalSpectrev1Case("case_1")
File "pitchfork.py", line 157, in _typicalSpectrev1Case
proj = newSpectreV1TestcasesProject()
File "pitchfork.py", line 89, in newSpectreV1TestcasesProject
return angr.Project('new-testcases/spectrev1')
File "/home/andsanmar/gadget/pitchfork/angr/angr/project.py", line 226, in init
self._register_object(obj, sim_proc_arch)
File "/home/andsanmar/gadget/pitchfork/angr/angr/project.py", line 260, in _register_object
if not func.is_function and func.type != cle.backends.symbol.Symbol.TYPE_NONE:
AttributeError: type object 'Symbol' has no attribute 'TYPE_NONE'