Skip to content
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

[test/suite.ml] small fix in displaying source path #292

Closed
wants to merge 1 commit into from

Conversation

FissoreD
Copy link
Collaborator

BEFORE:

executable: path/_build/install/default/bin/elpi
args: -test -I path/_build/install/default/bin/../lib/elpi/ -I path/tests/sources/ io_colon.elpi

AFTER:

executable: path/_build/install/default/bin/elpi
args: -test -I path/_build/install/default/bin/../lib/elpi/ -I path/tests/sources/io_colon.elpi

Note the absence of space before io_colon.elpi

BEFORE:
```
executable: path/_build/install/default/bin/elpi
args: -test -I path/_build/install/default/bin/../lib/elpi/ -I path/tests/sources/ io_colon.elpi
```

AFTER:
```
executable: path/_build/install/default/bin/elpi
args: -test -I path/_build/install/default/bin/../lib/elpi/ -I path/tests/sources/io_colon.elpi
```

Note the absence of space before io_colon.elpi
@gares
Copy link
Contributor

gares commented Nov 27, 2024

-I adds a path, the last argument 8s a file name. I'm ok passing the file name using a longer path, but not this way.

@FissoreD
Copy link
Collaborator Author

ah, sorry, I didn't know the command was meant to work like this.
The reason for having a whole absolute path to the file was that, while opening the log,
I would have been able to directly jump to the file via ctrl+click in vscode.

@FissoreD FissoreD closed this Nov 27, 2024
@FissoreD FissoreD deleted the log_msg branch December 11, 2024 17:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants