Commits

Anonymous committed 96c7a7c

glitch from previous ci

Comments (0)

Files changed (1)

murphi_interface.erl

     %% normalize(), normalize() might behave like canonicalize()
     binary_to_term(call_port({18,X})).
 equivalentStates(X,Y) -> 
-    io:format("entering equivalentStates... ",[]),
     R = binary_to_term(call_port({19,list_to_binary([X,Y])})),
-    io:format("leaving~n",[]),
     R.
 numberOfHashCollisions() -> 
     binary_to_term(call_port({20,<<0>>})).