search

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt
30 stars 1 forks source link

in UC DSL interpreter, issuing a send command when in a sending or running configuration results in uncaught exception #52

Closed alleystoughton closed 5 months ago

alleystoughton commented 5 months ago

In the UC DSL interpreter, issuing a send command when in a sending or running configuration results in an uncaught exception:

unhandled exception: UcInterpreter.ConfigError
Raised at UcInterpreter.send_message_to_real_or_ideal_config in file "src/ucInterpreter.ml", line 1651, characters 21-38
Called from UcInterpreterClient.interpret.send in file "src/ucInterpreterClient.ml", line 307, characters 15-63
Called from UcInterpreterClient.interpret.loop in file "src/ucInterpreterClient.ml", line 583, characters 6-12

The exception ConfigError is being properly raised by UcInterpreter, but not properly caught by UcInterpreterClient.