[cyberphys] bugfix: ledm namespace, can specs update - Githubissues

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

6 stars 2 forks source link

[cyberphys] bugfix: ledm namespace, can specs update #1209

Closed EthanJamesLew closed 3 years ago

EthanJamesLew commented 3 years ago

Summary

change incorrect namespace for ledm assignment
update can specs