search

viperproject / silver

Definition of the Viper intermediate verification language.
Mozilla Public License 2.0
78 stars 40 forks source link

Test suite for magic wand snap functions. #796

Open manud99 opened 3 months ago

manud99 commented 3 months ago

These are the test cases that I used while developing Magic Wand Snap Functions.

Related to viperproject/silicon#836