MyersResearchGroup / LEMA

Apache License 2.0
0 stars 0 forks source link

FEATURE: error trace as TSD file #24

Open buggsley opened 7 years ago

buggsley commented 7 years ago

The verification methods should produce error traces as TSD files, so they can be viewed on the grapher and schematic.