Drasil icon indicating copy to clipboard operation
Drasil copied to clipboard
verified publisher icon JacquesCarette

`EquationalConstraints` models should be used in generating tests/assertions for artifacts

Open balacij opened this issue 3 years ago • 0 comments

As per the title, EquationalConstraints expressions should somehow find their way into code generation, specifically for generating tests/assertions.

balacij avatar Feb 01 '22 18:02 balacij