PVS does not compile - Githubissues

SRI-CSL / PVS

The People's Verification System

http://pvs.csl.sri.com

GNU General Public License v2.0

135 stars 32 forks source link

PVS does not compile #51

Closed BrunoDutertre closed 7 years ago

BrunoDutertre commented 7 years ago

The latest commit is broken.

Allegro complains with this error:

; Fast loading /Users/bruno/Repos/PVS/src/groundeval/pvs2clean.n64fasl The lists of keys and data are of unequal length.; Exiting make: *** [bin/ix86-MacOSX/devel/pvs-allegro] Error 1

samowre commented 7 years ago

Sorry, I should have pushed this last night.

BrunoDutertre commented 7 years ago

Fixed by ee2091369