move formatCBMCOutput.py

aufover · Aug 24, 2020 · 33bc6ae · 33bc6ae
1 parent e78c366
commit 33bc6ae
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/formatCBMCOutput.py → cbmc_utils/formatCBMCOutput.py b/formatCBMCOutput.py → cbmc_utils/formatCBMCOutput.py