DBValidator

To get P4 program augmented with assertion and BL codes, run the below command inside the "dbval_script" directory:

$ bash dbval.sh

Note: Please provide the input as per the CLI prompt.

Output :

program_assertion_augmented.p4

Note: The output is the P4 program augmented with assertions and BL codes.