Gronne

Difficult VDMUnit test scenario

3

### Description An error will come when making non-returning function calls in between dcl declaration for VDMUnit tests. The error will come at the dcl that comes after the function...