search

easyuc / EasyUC

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

separate summary of last effect from pretty-printing of configuration - or put in *response* #24

Closed alleystoughton closed 11 months ago

alleystoughton commented 11 months ago

Let's introduce a blank line to separate the end of the pretty-printing of the configuration from the summary of the effect.

Or, would it be possible/make sense for the summary of the last effect to go in the response buffer?

input guard: 16
control: environment
Message was output: environment:
((func, 1))@SMC2.SMC2Dir.Pt1.smc_rsp(T.testtext)@(([], 1))