Add the full state to step response #131
t-lohseAnnotations
30 errors and 21 warnings
|
build-ubuntu:
src/DataReader/component_loader.rs#L10
unresolved import `crate::ProtobufServer::services::query_request`
|
|
build-ubuntu:
src/DataReader/proto_reader.rs#L9
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
|
|
build-ubuntu:
src/ProtobufServer/ecdar_backend.rs#L6
unresolved import `crate::ProtobufServer::services::UserTokenResponse`
|
|
build-ubuntu:
src/ProtobufServer/ecdar_requests/request_util.rs#L8
unresolved import `crate::ProtobufServer::services::SimulationInfo`
|
|
build-ubuntu:
src/ProtobufServer/ecdar_requests/send_query.rs#L9
unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success`
|
|
build-ubuntu:
src/ProtobufServer/proto_conversions.rs#L2
unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure`
|
|
build-ubuntu:
src/ProtobufServer/proto_conversions.rs#L7
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
|
|
build-ubuntu:
src/ProtobufServer/proto_conversions.rs#L31
unresolved import `services::location_tree`
|
|
build-ubuntu:
src/ProtobufServer/proto_conversions.rs#L66
unresolved import `services::location_tree`
|
|
build-ubuntu:
src/ProtobufServer/proto_conversions.rs#L69
unresolved import `services::binary_location_operator`
|
|
build-macos:
src/DataReader/component_loader.rs#L10
unresolved import `crate::ProtobufServer::services::query_request`
|
|
build-macos:
src/DataReader/proto_reader.rs#L9
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
|
|
build-macos:
src/ProtobufServer/ecdar_backend.rs#L6
unresolved import `crate::ProtobufServer::services::UserTokenResponse`
|
|
build-macos:
src/ProtobufServer/ecdar_requests/request_util.rs#L8
unresolved import `crate::ProtobufServer::services::SimulationInfo`
|
|
build-macos:
src/ProtobufServer/ecdar_requests/send_query.rs#L9
unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success`
|
|
build-macos:
src/ProtobufServer/proto_conversions.rs#L2
unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure`
|
|
build-macos:
src/ProtobufServer/proto_conversions.rs#L7
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
|
|
build-macos:
src/ProtobufServer/proto_conversions.rs#L31
unresolved import `services::location_tree`
|
|
build-macos:
src/ProtobufServer/proto_conversions.rs#L66
unresolved import `services::location_tree`
|
|
build-macos:
src/ProtobufServer/proto_conversions.rs#L69
unresolved import `services::binary_location_operator`
|
|
build-win:
src/DataReader/component_loader.rs#L10
unresolved import `crate::ProtobufServer::services::query_request`
|
|
build-win:
src/DataReader/proto_reader.rs#L9
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentsInfo`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Decision`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
|
|
build-win:
src/ProtobufServer/ecdar_backend.rs#L6
unresolved import `crate::ProtobufServer::services::UserTokenResponse`
|
|
build-win:
src/ProtobufServer/ecdar_requests/request_util.rs#L8
unresolved import `crate::ProtobufServer::services::SimulationInfo`
|
|
build-win:
src/ProtobufServer/ecdar_requests/send_query.rs#L9
unresolved imports `crate::ProtobufServer::services::query_response::Error`, `crate::ProtobufServer::services::query_response::Success`
|
|
build-win:
src/ProtobufServer/proto_conversions.rs#L2
unresolved imports `crate::ProtobufServer::services::query_response::ConsistencyFailure`, `crate::ProtobufServer::services::query_response::DeterminismFailure`, `crate::ProtobufServer::services::query_response::ModelFailure`, `crate::ProtobufServer::services::query_response::ReachabilityFailure`, `crate::ProtobufServer::services::query_response::ReachabilityPath`, `crate::ProtobufServer::services::query_response::RefinementFailure`
|
|
build-win:
src/ProtobufServer/proto_conversions.rs#L7
unresolved imports `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::clock`, `crate::ProtobufServer::services::ActionFailure`, `crate::ProtobufServer::services::BinaryLocationOperator`, `crate::ProtobufServer::services::Clock`, `crate::ProtobufServer::services::ComponentInstance`, `crate::ProtobufServer::services::Conjunction`, `crate::ProtobufServer::services::Constraint`, `crate::ProtobufServer::services::Disjunction`, `crate::ProtobufServer::services::LeafLocation`, `crate::ProtobufServer::services::LocationTree`, `crate::ProtobufServer::services::State`
|
|
build-win:
src/ProtobufServer/proto_conversions.rs#L31
unresolved import `services::location_tree`
|
|
build-win:
src/ProtobufServer/proto_conversions.rs#L66
unresolved import `services::location_tree`
|
|
build-win:
src/ProtobufServer/proto_conversions.rs#L69
unresolved import `services::binary_location_operator`
|
|
build-ubuntu
The following actions uses node12 which is deprecated and will be forced to run on node16: arduino/setup-protoc@v1.1.2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build-ubuntu:
src/DataReader/proto_reader.rs#L2
unused import: `std::convert::TryInto`
|
|
build-ubuntu
`reveaal` (lib) generated 1 warning
|
|
build-ubuntu
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-ubuntu
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-ubuntu
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-ubuntu
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-macos
The following actions uses node12 which is deprecated and will be forced to run on node16: arduino/setup-protoc@v1.1.2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build-macos
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-macos
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-macos
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-macos
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-macos:
src/DataReader/proto_reader.rs#L2
unused import: `std::convert::TryInto`
|
|
build-macos
`reveaal` (lib) generated 1 warning
|
|
build-win
The following actions uses node12 which is deprecated and will be forced to run on node16: arduino/setup-protoc@v1.1.2, actions-rs/toolchain@v1, actions-rs/cargo@v1. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
build-win
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-win
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-win
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-win
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
|
|
build-win:
src/DataReader/proto_reader.rs#L2
unused import: `std::convert::TryInto`
|
|
build-win
`reveaal` (lib) generated 1 warning
|