seitan/seitan-run, branch master

cooker: Pass arguments to filter

2023-06-09T16:52:38+00:00

Signed-off-by: Stefano Brivio

2023-06-05T20:40:35+00:00

If DIR already exists, just remove our entries.

Signed-off-by: Stefano Brivio

2023-06-05T15:00:05+00:00

Clean-up the entire DIR.

2023-06-05T12:07:07+00:00

Add matches for injecting error and faking the connect syscall.
Fix seitan-run clean-up: delete only *.bpf and *.gluten files

2023-06-04T06:29:05+00:00

As discussed with Alice -- 'reuse lint' passes now.

Signed-off-by: Stefano Brivio

2023-06-03T06:30:51+00:00

Signed-off-by: Stefano Brivio

2023-06-02T17:40:31+00:00

Signed-off-by: Stefano Brivio