Remove the `kasmer` command

runtimeverification / mx-semantics

6 stars 1 forks source link

Remove the `kasmer` command #280

Closed tothtamas28 closed 1 month ago

tothtamas28 commented 1 month ago

Removes the test-testapi target from Makefile: does not seem to exercise any functionality.
Removes the kasmer command: the same functionality is exposed under kasmerx in mx-backend.

bbyalcinkaya commented 1 month ago

@tothtamas28 test-testapi is for testing the Kasmer semantics and the Rust API. Unlike normal Kasmer tests, it contains unit tests implemented inside the init function, that's why it doesn't have any fuzzing endpoints. I'll add a commit migrating that from kasmer to mandos.

tothtamas28 commented 1 month ago

@virgil-serbanuta, could you review this one? (Both @bbyalcinkaya and I have added commits.)