TAPAAL/verifytapn

Use VERSION variable from cmake

Closed this issue · 0 comments

yrke commented

Cmake configures:
add_compile_definitions(VERIFYTAPN_VERSION="${VERIFYTAPN_VERSION}")

but is not used in source, version is hardcoded