This repository was archived by the owner on Jan 5, 2023. It is now read-only.

Fix a few compiler errors in tests#97

Merged

max-schaefer merged 6 commits intogithub:rc/1.24from

max-schaefer:fix-frontend-errors

Apr 14, 2020

Commits on Apr 14, 2020

Fix frontend errors in `FlowSteps` test.
Max Schaefer
committed
Fix frontend errors in `MistypedExponentiation` test.
Max Schaefer
committed
Fix frontend errors in `DeadStoreOfLocal` tests.
Max Schaefer
committed
Fix frontend errors in `AllocationSizeOverflow` test.
Max Schaefer
committed
Fix frontend errors in `DisabledCertificateCheck` tests.
Max Schaefer
committed
Better fix for frontend errors in `DeadStoreOfLocal` tests.
Max Schaefer
committed