search

kenmcmil / ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.
Other
77 stars 24 forks source link

TypeError: ivy_load_file() takes exactly 1 argument (2 given) #67

Open VSEJGFB opened 2 years ago

VSEJGFB commented 2 years ago

I followed the instruction in https://cs.stanford.edu/~padon/ivy/index.html#downloading.

When I run : python ../../ivy/ivy2.py leader_election_ring.ivy

I get a type error:

TypeError                                 Traceback (most recent call last)
<ipython-input-1-5502424a515f> in <module>()
     18 ctx.__enter__()
     19 ivy_widget = AnalysisSessionWidget()
---> 20 session = AnalysisSession('leader_election_ring.ivy', ivy_widget)
     21 set_context(session)
     22 ivy_widget.transition_view.conjectures = session.analysis_state.ivy_interp.conjs[:]

/home/lsq/ivy/ivy/proof.pyc in __init__(self, filename, widget)
     62         self.filename = filename
     63         try:
---> 64             m = IvyModel(filename)
     65         except IvyError as e:
     66             raise e

/home/lsq/ivy/ivy/proof.pyc in __init__(self, filename)
     24         ag = ivy_new()
     25         try:
---> 26             ivy_load_file(open(filename), ag)
     27         except IvyError as e:
     28             e.filename = filename

TypeError: ivy_load_file() takes exactly 1 argument (2 given)