tree e83fc6e87e2b59e6beb8ccd1de72032e9de37626
parent 7ac20f12050f2a4fb169358c1956995e87325cce
parent cb5d661136e8db1c875ad1fffde16830e266151a
author Kamil Rakoczy <krakoczy@antmicro.com> 1646206316 +0100
committer GitHub <noreply@github.com> 1646206316 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJiHx1sCRBK7hj4Ov3rIwAAxZUIAH7t/D0vn1nq36hCHrfccvwp
 C+N/ahADNT0NbzJC8cS4AZH83Y/haZ9Vi2LksHeIVEe+SRaD/rETLyzczj0xd9fC
 eC0Qk2kIU93PMtQyOu7jVPjynjMFKUFMHY8lWo4MvLZC8KurIDH3c6Epnb79H9gg
 8Vjdtg2l9rrHjiAyONImf/DIrCnR3Mqd9KHUkcNTTBtYEUw+HrOyM3uYPXTRXO7y
 EtkyFfBiG7MQsQAuHzM36b8ubiAPFNwRCbUbRwbzCdER3PunyFjx6XN5QyH6Q0TF
 KBEOHKHbZ1nGdwGOleP/jSDZk9QrCllDkinrzV3kHBMt5YOp+QvKpkxZe5dqGXk=
 =i86b
 -----END PGP SIGNATURE-----
 

Merge pull request #260 from thirtythreeforty/sva-error

Emit error when encountering assert/assume properties