Closed thatjiaozi closed 6 months ago
Playground strategy can be used to create a sequence of ebpf instructions and then get what the verifier thinks about them.
Also add support for selecting the strategy to run via a command line flag.
Playground strategy can be used to create a sequence of ebpf instructions and then get what the verifier thinks about them.
Also add support for selecting the strategy to run via a command line flag.