SuccessChanges

Summary

  1. Update runtime to support more function/operation arguments (commit: 9b654b0) (details)
Commit 9b654b0a3ab3b0178feaffca6fe5af733b11548a by Peter W. V. Tran-Jørgensen
Update runtime to support more function/operation arguments
(commit: 9b654b0)
The file was modifiedc/vdmclib/src/main/VdmClass.h (diff)