Update manual to distinguish `stdin` from arguments for inputs

[Cesar48]

I'm currently up to date with main (26/09/2024) and trying to run a series of filed through (an older version of) pumpkin. I have a pattern to match all of them. However, they do not seem to be passed to pumpkin properly:

error: the following required arguments were not provided:
  <INSTANCE_PATH>

Usage: pumpkin-cli <INSTANCE_PATH>

For more information, try '--help'.

Meanwhile, when checking the status of the run, the correct file has been found:

info: Displaying the status of job 0 in experiment 10

program: pumpkin
  binary: path/to/pumpkin/Pumpkin/target/release/pumpkin-cli
input:
  file: path/to/testfiles/mzn-challenge/2023/kidney-exchange/ccmcp_3_20_0.15_3.fzn
  arguments: ["--coef-elim"]

output path: path/to/gourd/gourd/experiments/10/0/0/stdout
stderr path: path/to/gourd/gourd/experiments/10/0/0/stderr
metric path: path/to/gourd/gourd/experiments/10/0/0/metrics

file status? failed, code: 512
metrics:
  user  cpu  time: 0s
  system cpu time: 33ms 614us
  page faults: 16
  signals received: 0
  context switches: 53

My gourd.toml looks as follows:

metrics_path = "experiments"
experiments_folder = "experiments"

[program.pumpkin]
binary = "../../pumpkin/Pumpkin/target/release/pumpkin-cli"
arguments = ["--core-guided"]

[input.run_one]
glob = "../../testfiles/mzn-challenge/*/*/*.fzn"

[andtsa]

@Cesar48 could you try

[input.run_one]
arguments = ["path|../../testfiles/mzn-challenge/*/*/*.fzn"]

?

[andtsa]

let me know if this works. It looks like pumpkin-cli expects the file to be passed as a command line argument, but gourd takes the content from file, fetch and glob and passes them to pumpkin's stdin.

[Cesar48]

It seems to work! Thanks. Could you maybe add this to the manual or tutorial?

[andtsa]

Of course, I'll update the issue. Let me know if there's anything else unclear!