search

prosyslab-classroom / cs348-information-security

61 stars 10 forks source link

[Question][Hw5] About cmp #153

Closed mrpositron closed 3 years ago

mrpositron commented 3 years ago

Could you provide the information about what cmp should do?

mrpositron commented 3 years ago

I saw previous posts on cmp. However, they do not explain what should it do.

RiceBiscuits commented 3 years ago

A concrete version of cmp should verify that provided predicate is true or false, and return a result. An abstract version of cmp should verify that provided predicate, and return an abstracted result that subsumed all possible cases.