crucible-llvm-cli: Support for overrides; loading and calling functions #1627

Annotations

1 error and 22 warnings

Process completed with exit code 1.

The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, cachix/install-nix-action@v16. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

As of 2023-09-09, haskell/action/setup is no longer maintained, please switch to haskell-actions/setup (note: dash for slash).

The import of ‘Control.Lens’ is redundant

The import of ‘Data.Foldable’ is redundant

The import of ‘Data.String’ is redundant

The qualified import of ‘Data.Parameterized.Context’ is redundant

The import of ‘Lang.Crucible.Backend’ is redundant

The import of ‘Lang.Crucible.Backend.Simple’ is redundant

The import of ‘Lang.Crucible.Simulator’ is redundant

The import of ‘Lang.Crucible.Simulator.Profiling’ is redundant

The import of ‘What4.Config’ is redundant

The import of ‘What4.Interface’ is redundant