analysis, tests/interactive/gas-analysis: remove unused files

runtimeverification · Apr 14, 2019 · 63becb0 · 63becb0
1 parent 58de40c
commit 63becb0
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 388 deletions.
diff --git a/analysis.md b/analysis.md
diff --git a/tests/interactive/gas-analysis/sumTo10.evm b/tests/interactive/gas-analysis/sumTo10.evm
diff --git a/tests/interactive/gas-analysis/sumTo10.evm.out b/tests/interactive/gas-analysis/sumTo10.evm.out