Giters

GaloisInc / saw-script

The SAW scripting language.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Run `crux-mir-comp`'s test suite in CI

RyanGlScott opened this issue · comments

commented

We currently build the code for crux-mir-comp's test suite in CI, but we do not actually run the test suite. We should do this, especially since there are upcoming changes to the Rust nightly that we support in the works (see GaloisInc/mir-json#49 and GaloisInc/crucible#1096).

Running the test suite will require (1) that mir-json is installed, and (2) that we have installed the crucible-mir support libraries. Both of these would be easier if we land #1868 first.