You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, we don't support concrete values for structure fields in the counterexamples. It would be great if we can support them at least by annotation. One way to implement it is to borrow the implementations of the assert macro.
This discussion was converted from issue #662 on December 14, 2020 19:22.
Heading
Bold
Italic
Quote
Code
Link
Numbered list
Unordered list
Task list
Attach files
Mention
Reference
Menu
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Currently, we don't support concrete values for structure fields in the counterexamples. It would be great if we can support them at least by annotation. One way to implement it is to borrow the implementations of the
assertmacro.Beta Was this translation helpful? Give feedback.
All reactions