search

lenaRB / crml-compiler

Implementation of the CRML to Modelica compiler supported by the ITEA3 EMBRACE project.
8 stars 8 forks source link

verifying test results #56

Closed lenaRB closed 9 months ago

lenaRB commented 9 months ago

For some tests, especially ones without external variables it would be easiest to have the expected value as some kind of annotation instead of a whole reference file with results, because we only care about the value of the requirement for example.

Then we should just have an annotation for that in the relevant tests? var = b, expectedResult = true @adrpo, @audrey-jardin what do you think?

audrey-jardin commented 9 months ago

@lenaRB , @adrpo : I'm not sure to understand what you suggest. Please provide an example so I can see if it is relevant and if I can provide such format. My first guess is that, except maybe for Boolean4 unit tests, it wouldn't be so easy in general as values can be time-varying.

lenaRB commented 9 months ago

As discussed today, we keep with reference files for all test cases for simplicity.