Removed verify code command

esbmc · Feb 3, 2024 · a885fbb · a885fbb
1 parent ca174ca
commit a885fbb
Showing 1 changed file with 0 additions and 18 deletions.
diff --git a/esbmc_ai/commands/verify_code_command.py b/esbmc_ai/commands/verify_code_command.py