add differential testing ci - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

74 stars 20 forks source link

add differential testing ci #351

Closed pataei closed 2 years ago

pataei commented 2 years ago

adds differential testing CI
adds new labels of P4 programs
adds documentation of type system (it's incomplete)

pataei commented 2 years ago

p4 implementations differential testing isn't working correctly.