Closed kenarab closed 3 months ago
It includes the option --check for running linear checker algorithms which will run only for variables of a type named "Linear".
It includes 3 linearExamples in example path. This examples are included as testcases and are useful for testing and developing
By the moment, neither example is working ok because of rvalue is checked as if it an lvalue.
We should finish semantics assessment of linearExample02.con involving consuming a borrowed variable in a function
It includes the option --check for running linear checker algorithms which will run only for variables of a type named "Linear".
It includes 3 linearExamples in example path. This examples are included as testcases and are useful for testing and developing
By the moment, neither example is working ok because of rvalue is checked as if it an lvalue.
We should finish semantics assessment of linearExample02.con involving consuming a borrowed variable in a function