search

nimble-code / Modex

a model extractor, to automatically extract Spin verification models from multi-threaded C code
18 stars 3 forks source link

fix set_create_id() #9

Closed AiDaiP closed 2 years ago

AiDaiP commented 2 years ago

Fixes #8