statycc / pymwp

A static analyzer of variable value growth for C programs.
https://statycc.github.io/pymwp/
GNU General Public License v3.0
4 stars 1 forks source link

add software version to machine details #101

Closed nkrusch closed 1 month ago

nkrusch commented 1 year ago

(note to self): add to the runtime machine details output, following software versions details

https://github.com/statycc/pymwp/blob/fbf6131b21cb6660b71668a4c03bb28093290258/utilities/runtime.py#L33