Skip to content

IvToPromelaTranslator: skeleton and initial implementation

Rafal Babski requested to merge n7s-tmc#72-ivToPromelaSkeleton into master

Generation of system context, channels and proctypes.

Edited by Rafal Babski

Merge request reports