ssm-lang / sslang

A language built atop the Sparse Synchronous Model
BSD 3-Clause "New" or "Revised" License
18 stars 0 forks source link

Add test case for memory leak on wrong main function signature #142

Closed anjalismith closed 1 year ago

anjalismith commented 1 year ago

Here is the test case for the issue as discussed in #141

j-hui commented 1 year ago

Summary from before: the problem with this was that the sslang program was only expecting one argument, but the caller (the runtime stub) gave it two, so sslang never dropped the second argument.

j-hui commented 1 year ago

I'm not really sure what the solution is here. The fact that arguments are passed to main as argument is already not very great, and we would probably want to change that later anyway. I think for now, I will close this PR and then circle back to it later.