tests/failing-symbolic.haskell-booster-dev: drop specs now passing under booster-dev#2868

ehildenb merged 1 commit into

masterruntimeverification/evm-semantics:masterfrom

booster-dev-enableruntimeverification/evm-semantics:booster-dev-enableCopy head branch name to clipboard