search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
75 stars 21 forks source link

Consolidate tests #490

Closed jnfoster closed 1 year ago

jnfoster commented 1 year ago

Move all test-related directories under test/

This may break some CI stuff, but it's broken anyway. So I propose that we do the structural re-org and then add-back the desired functionality.

jnfoster commented 1 year ago

I'm going to merge this as it's just moving files around (i.e., under test) and I confirmed that the command-line tests still run. If we want to recover back to the old state, the tag

https://github.com/verified-network-toolchain/petr4/releases/tag/pre-Sept23-tidying

has it.