1. jderick
  2. PReach

Commits

Comments (0)

Files changed (1)

File murphi_interface.erl Modified

View file
  • Ignore whitespace
  • Hide word diff
     %% 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>>})).