-
Notifications
You must be signed in to change notification settings - Fork 274
Variable in test.desc file can be also separated by ':' or ';' #3889
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Variable in test.desc file can be also separated by ':' or ';' #3889
Conversation
Sadly neither the commit message nor the PR description really enlighten me as to what is going on here? - perhaps a supporting example would help? |
Sorry @thk123. I've added an example to the description. |
regression/test.pl
Outdated
@@ -74,6 +74,7 @@ ($$$$$$$$$$) | |||
foreach my $key (@keys) { | |||
my $value = $defines->{$key}; | |||
$options =~ s/(\$$key$|\$$key )/$value /g; | |||
$options =~ s/\$$key:/$value:/g; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
For maintainability, I would love a comment to explain why we need the :
as a separator, e.g.
# Variables in --classpath are separated by colons
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🚫
This PR failed Diffblue compatibility checks (cbmc commit: 9d9023a).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/98159435
Status will be re-evaluated on next push.
Please contact @peterschrammel, @thk123, or @allredj for support.
Common spurious failures:
- the cbmc commit has disappeared in the mean time (e.g. in a force-push)
- the author is not in the list of contributors (e.g. first-time contributors).
The incompatibility may have been introduced by an earlier PR. In that case merging this
PR should be avoided unless it fixes the current incompatibility.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm confused. Doesn't --classpath '../../../../scripts/format_classpath.sh $PATH1 $PATH2'
do what you want? (' should be backtick)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
✔️
Passed Diffblue compatibility checks (cbmc commit: f127bf4).
Build URL: https://travis-ci.com/diffblue/test-gen/builds/98200668
To be able to use variables in
.desc
files also in the--classpath
argument, we need to use:
as a separator for variable names, currently the only separator is a space.For example, we want to be able to use a
.desc
file in which the arguments have the following structure: