Closed redxeth closed 3 years ago
Seems pretty straightforward to me. Do you plan to add any tests?
Wasn't sure if there were any for the comment chars in general. Let me check.
Checked that the test case I added does indeed fail if you have the wrong @program_comment_char
in place.
C or Java code program comment char not set properly for SMT7/8 test programs. Since was not set would default to
#
which would make having built-in Origen diffs not be able to skip those comments in that code.Have added
program_comment_char
for Smartest_based testers.Also added ability for user to modify the
comment_char
orprogram_comment_char
for any tester -- in case a strange case comes up in the future.