Typecheck fn calls#79

Draft

mikucionisaau wants to merge 2 commits intoUPPAALModelChecker:mainfrom

mikucionisaau:typecheck-fn-calls

Commits on Oct 1, 2024

Added tests for typechecking function calls (crashes when arg count is less than param count)
mikucionisaau
committed

Commits on Feb 14, 2025

Unfinished work
mikucionisaau
committed