Add backend capability introspection to `act-backend list`

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

13 stars 1 forks source link

Add backend capability introspection to `act-backend list` #157

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

The backend reshuffle yesterday added a new bit of work on letting backends describe what 'capabilities' they have, eg 'run directly', 'make testing harness', etc. This isn't yet plumbed into any user-facing code, so the obvious thing to do would be to add a thing to act-backend list that prints off, say, a comma-separated list of backend flags at the end of each backend.

MattWindsor91 commented 4 years ago

This is naturally a 'Christmas break' project, not critical in any way. (I might make a label for these)

MattWindsor91 commented 4 years ago

Closing this, as act’s backend support is slated for removal in favour of migration to act-tester.