Giacomo Vercesi
af237074f3
Implement AnalysesList in Python API & GraphQL
...
Implement the new functionality of AnalysesList on the python's side of
rev.ng and the GraphQL schema both in static and autogenerated form
2023-03-22 17:31:46 +01:00
Ivan Krysak
3687869795
Model: make AddPrimitiveTypes a pure analysis
2023-03-15 10:19:01 +01:00
Giacomo Vercesi
7751143aad
revng daemon: add timeout-keep-alive option
...
Add the `--timeout-keep-alive` option for all invocations of `revng
daemon`. This avoids some edge cases where connections are abruply
closed.
2023-03-14 20:50:28 +01:00
Giacomo Vercesi
f3f04ef891
daemon/test.py: improve daemon log handling
...
Improve the handling of the daemon process when running tests.
print.
2023-02-01 17:46:21 +01:00
Massimo Fioravanti
d55aa9b9e6
Pipeline: remove * from targets
...
Now * is just a pipeline frontend shorthand.
2022-10-20 14:20:12 +02:00
Alessandro Di Federico
8aa2c2ac44
daemon/test.py: do not use memfd
2022-10-11 19:08:10 +02:00
Alessandro Di Federico
12191a8d01
daemon/test.py: use log function
2022-10-11 19:08:10 +02:00
Giacomo Vercesi
ff48b9de75
Introduce revng daemon-self-test
...
This new command will, given an executable, try to produce all
artifacts. By default it will run `revng daemon`, however an external
address can be provided to test remote daemons, e.g. running inside a
container.
2022-10-06 15:12:36 +02:00
Giacomo Vercesi
e5963395dc
Drop requests in favor of aiohttp
...
Drop the use of requests in the daemon tests, use aiohttp instead as
it allows the use of unix sockets, which simplifies the creation of
multiple ephimeral daemons
2022-10-04 14:20:03 +02:00
Giacomo Vercesi
5d02e7258f
revng.daemon test: fail if daemon exit code != 0
2022-10-04 14:13:56 +02:00
Alessandro Di Federico
137fad57e9
revng-daemon tests: increase verbosity
2022-09-08 09:44:41 +02:00
Alessandro Di Federico
ef3d24eb08
test.py: get ephemeral port, drop psutil
2022-08-26 09:50:42 +02:00
Alessandro Di Federico
73ae7c89b4
test.py: run preliminary analyses
2022-08-26 09:50:42 +02:00
Giacomo Vercesi
2ce7b216e8
GraphQL: drop step name conversion
2022-08-26 09:50:42 +02:00
Ivan Krysak
792da8151e
Redesign the rank definition process
2022-08-05 19:58:57 +02:00
Giacomo Vercesi
930bac9bca
daemon test: filter out environment variables
...
When running `revng daemon` for tests, remove a selection of
environment variables that could negatively impact the correct
execution of the tests.
2022-07-22 14:56:15 +02:00
Giacomo Vercesi
30ef77e6fa
GraphQL: introduce queries to retrieve globals
...
Change the schema to allow introspection of context globals.
2022-06-29 14:50:58 +02:00
Giacomo Vercesi
62e9baeddb
GraphQL: rework schema to be camelCase
...
GraphQL conventions, encourage the use of camelCase for query fields
and PascalCase for types, as detailed here:
https://graphql-rules.com/rules/naming-fields-args
2022-06-29 14:50:58 +02:00
Giacomo Vercesi
ffab18ee48
revng daemon: identify valid port
...
This commit resolves a non-deterministic test failure in `revng daemon`.
When running daemon tests, `randint` was used for selecting the listen
port, this caused test failures when the same port number was used for
reused. This has been replaced with the use of port 0 that guarantees
the use of an unused port and psutil to find the port number once it has
been bound by the daemon process.
2022-06-29 14:50:58 +02:00
Alessandro Di Federico
867c68078a
Drop superfluous f"..."
2022-06-21 18:36:59 +02:00
Alessandro Di Federico
bee6872414
Fix CMake formatting
2022-06-21 18:24:43 +02:00
Alessandro Di Federico
f4684e244d
Switch to new testsuite
2022-06-20 19:04:18 +02:00