diff options
| author | Federico Igne <git@federicoigne.com> | 2021-10-03 11:16:33 +0100 |
|---|---|---|
| committer | Federico Igne <git@federicoigne.com> | 2021-10-03 11:16:33 +0100 |
| commit | 0cd63c26fdfafaf09734950add28f63d500ac330 (patch) | |
| tree | 244a4d11478e563feb6e29544b6ce4da882a5d96 /run_tests.bash | |
| parent | 297c88902b27030cb9f6004c51ccae18eb453933 (diff) | |
| download | RSAComb-0cd63c26fdfafaf09734950add28f63d500ac330.tar.gz RSAComb-0cd63c26fdfafaf09734950add28f63d500ac330.zip | |
Assign queries integer identifier
The ID needs to be specified at creation time or in a query file
preceeding the query with the syntax
```
^[Query<id>]
```
where `<id>` is the id of the query.
Diffstat (limited to 'run_tests.bash')
0 files changed, 0 insertions, 0 deletions