Commit 975a05bf authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files


parent 3ebc7674
Pipeline #292 skipped
Working directory for the TASTE-VDM integration.
A mapper (from ASN.1 to VDM) :
$ asn1.exe -customStgAstVersion 4 -customStg vdm.stg:dataview.vdm inputfiles.asn
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment